summaryrefslogtreecommitdiff
path: root/scripts/build_web_resources.py
AgeCommit message (Expand)Author
2015-10-01Build script also produces the web resources tree.Aleš Smodiš
2015-09-29 * Bugfix: always do cur.fetchone() on new iteration.Aleš Smodiš
2015-09-24Create WEB_OUTPUT directory if it doesn't existTimotej Lazar
2015-09-24Update JSON build script: include problem name translations with language ind...Aleš Smodiš
2015-09-23Implemented the script to build static JSON data for problem definitions.Aleš Smodiš