koch: finish is now its own command

This commit is contained in:
Andreas Rumpf 2016-10-11 20:31:43 +02:00
commit e6ff6dd9c8
3 changed files with 164 additions and 155 deletions

View file

@ -93,6 +93,7 @@ Files: "bin/makelink.exe"
Files: "bin/*.dll"
Files: "koch.exe"
Files: "finish.exe"
; Files: "dist/mingw"
Files: "start.bat"
BinPath: r"bin;dist\mingw\bin;dist"