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