summaryrefslogtreecommitdiff
path: root/scripts/build_web_resources.py
AgeCommit message (Expand)Author
2015-09-23Implemented the script to build static JSON data for problem definitions.Aleš Smodiš