summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-17 15:44:40 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-17 15:44:40 +0100
commit66ae415ba019fa4528f61a23948e56a713902295 (patch)
tree3b626d214d3d85c6341f1fa2668a153e568fd66f /.gitignore
parent138610b0709d6e251c16b391242023eec393d775 (diff)
Prolog: only catch timeout in test functions
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions