Progether/JAdventure — pull request #94 by paddatrapper (2014-09-30 08:37:41+00:00)
Title: Added 'dist' option for build.xml

Creates a directory "jar" in the build directory that contains the .jar and all required files for distribution.