|
plugins
|
adjust path of sounds and music
|
2013-07-12 16:57:58 -04:00 |
|
src
|
Updated HelperPanel button handling, try to fix #451.
|
2014-08-24 18:43:43 +02:00 |
|
manifest.mf
|
updated poms with new version
|
2010-12-21 23:25:54 -05:00 |
|
pom.xml
|
upgraded truezip to truevfs
|
2014-08-21 16:05:55 +03:00 |
|
splash.jpg
|
Updated splash image
|
2012-06-26 15:38:08 +04:00 |