summaryrefslogtreecommitdiff
path: root/scripts/build_web_resources.py
AgeCommit message (Collapse)Author
2015-09-24Create WEB_OUTPUT directory if it doesn't existTimotej Lazar
2015-09-24Update JSON build script: include problem name translations with language ↵Aleš Smodiš
index data.
2015-09-23Implemented the script to build static JSON data for problem definitions.Aleš Smodiš