| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2016-07-27 20:47 +0200 | 93 | clean_premake.bat | file | revisions | annotate |
| -rwxr-xr-x | 2016-07-27 20:47 +0200 | 93 | mingw.bat | file | revisions | annotate |
| -rwxr-xr-x | 2016-07-27 20:47 +0200 | 483840 | premake4.exe | file | revisions | annotate |
| -rwxr-xr-x | 2016-07-27 20:47 +0200 | 2333 | run.tests.bat | file | revisions | annotate |