diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-09 15:56:12 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-09 15:56:12 +0100 |
| commit | fb0928d87e099bfe27c35808731975f52787ae4d (patch) | |
| tree | f4a1ad89733df28c6bb3d16efe1baab2c7e532e1 /prolog/util.py | |
| parent | 70de1a963610bae8d8a1ff6a09d1d17ce71837cd (diff) | |
Decrease timeout for Monkey hints to 3 s
Diffstat (limited to 'prolog/util.py')
0 files changed, 0 insertions, 0 deletions