Age | Commit message (Expand) | Author |
---|---|---|
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š |