ext
|
js/ui/nopaint.js: moved into js/ext/.
|
2018-11-26 10:22:19 +01:00 |
ui
|
js/ui/goodies.js: removed (unused.)
|
2018-11-26 10:22:19 +01:00 |
gfx.js
|
js/{draw,gfx}.js: merged.
|
2018-11-26 10:22:19 +01:00 |
matrix.js
|
js/{matrix,undo}.js: merged.
|
2018-11-26 10:22:19 +01:00 |