diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-01 17:24:33 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-01 17:24:33 +0200 |
| commit | fa35e4e4f4705d6def8aa03841431d709465238b (patch) | |
| tree | f888df730a9adf19f901677fb9bda9e611643214 /scripts/add_problem.py | |
| parent | 3aff9ac1cd68f3dbdba1bd8371ed6ae7614dbd64 (diff) | |
Build script also produces the web resources tree.
Diffstat (limited to 'scripts/add_problem.py')
0 files changed, 0 insertions, 0 deletions