|
stendhal
|
Set border for dialogs
|
2022-03-31 13:35:21 -07:00 |
|
.gitignore
|
updated closure compiler
|
2018-10-27 21:09:38 +02:00 |
|
favicon.ico
|
added favicon
|
2014-11-23 15:29:27 +00:00 |
|
jsxgraph-util.js
|
Clean whitespace in srcjs source
|
2018-10-14 01:53:27 -07:00 |
|
stendhal.css
|
Set border for dialogs
|
2022-03-31 13:35:21 -07:00 |
|
stendhal.html
|
Set default padding for dialog windows
|
2022-03-31 12:47:36 -07:00 |
