Jakub Warmuz ae66253ddf Don't save KGS in dist dir in dev release script (fixes #908).

2015-10-06 19:07:20 +00:00

..

deps.sh

setup.py: update/fix deps.

2015-09-01 19:57:41 +00:00

dev-release.sh

Don't save KGS in dist dir in dev release script (fixes #908).

2015-10-06 19:07:20 +00:00