| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-03-17 | Improve build_web_resources.py | Timotej Lazar | |
| 2015-12-10 | Add copyright info | Timotej Lazar | |
| 2015-10-12 | Drop name column from language/group/problem tables | Timotej Lazar | |
| 2015-10-08 | Get problems from files in build_web_resources | Timotej Lazar | |
| The script now gets the list of languages, groups and problems from the filesystem and inserts missing IDs in the database. | |||
| 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š | |
| * Implemented ordering of problem groups and problems. * Added hint types based on hint definitions from common.py files. | |||
| 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 ↵ | Aleš Smodiš | |
| index data. | |||
| 2015-09-23 | Implemented the script to build static JSON data for problem definitions. | Aleš Smodiš | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |