summaryrefslogtreecommitdiff
path: root/scripts/build_web_resources.py
AgeCommit message (Expand)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 ind...Aleš Smodiš
2015-09-23Implemented the script to build static JSON data for problem definitions.Aleš Smodiš