Age | Commit message (Expand) | Author |
---|---|---|
2016-10-04 | build_web_resources: copy top-level style.css | Timotej Lazar |
2016-09-07 | Improve error handling in build_web_resources | Timotej Lazar |
2016-05-22 | Add support for per-problem initial code | Timotej Lazar |
2016-03-17 | Improve build_web_resources.py | Timotej Lazar |
2015-12-10 | Add copyright info | Timotej Lazar |
2015-10-12 | Drop name column from language/group/problem tables | Timotej Lazar |
2015-10-08 | Get problems from files in build_web_resources | Timotej Lazar |
2015-10-01 | Build script also produces the web resources tree. | Aleš Smodiš |
2015-09-29 | * Bugfix: always do cur.fetchone() on new iteration. | Aleš Smodiš |
2015-09-24 | Create WEB_OUTPUT directory if it doesn't exist | Timotej Lazar |
2015-09-24 | Update JSON build script: include problem name translations with language ind... | Aleš Smodiš |
2015-09-23 | Implemented the script to build static JSON data for problem definitions. | Aleš Smodiš |