Closed roskakori closed 12 years ago
Get rid of dev_*.py and use a Jenkins job instead.
See development.rst, section "Set up Jenkins".
Get rid of dev_*.py and use a Jenkins job instead.