summaryrefslogtreecommitdiff
path: root/kpov_judge/finalize_opstack.py
AgeCommit message (Expand)Author
2016-10-01Fixed the write_default_config script.gasperfele@fri1.uni-lj.si
2014-10-20Initial commitgasperfele@fri1.uni-lj.si