summaryrefslogtreecommitdiff
path: root/scripts/export_problems.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-28 11:26:07 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-10 14:10:04 +0100
commitc7ce88a12ad4469642aaad0a4ad675769d6aa591 (patch)
treed796f2ed2cc42ff5fb0829cfc451e056d23ca2f6 /scripts/export_problems.py
parent8edd2833270a0a531440b0d3407ec36f61ea2ee7 (diff)
Disable debug info when generating Prolog parser
Diffstat (limited to 'scripts/export_problems.py')
0 files changed, 0 insertions, 0 deletions