| Wed, 07 May 2014 18:09:08 +0200 | wenzelm | explicit option to build library, which takes most of the time; | file | diff | annotate |
| Mon, 28 Jan 2013 12:25:29 +0100 | wenzelm | separate makedist_bundle for each platform family, which is more useful for manual use; | file | diff | annotate |
| Tue, 15 Jan 2013 12:30:23 +0100 | wenzelm | grand-unified Admin/Release/build script (excluding .app and .exe); | file | diff | annotate |