summaryrefslogtreecommitdiff
path: root/prolog/runner/sandbox.pl
diff options
context:
space:
mode:
authorMartin <martin@leo.fri1.uni-lj.si>2015-10-06 17:08:18 +0200
committerMartin <martin@leo.fri1.uni-lj.si>2015-10-06 17:08:18 +0200
commit38f30817592a59a889780dad4de2c5a9a09e88d3 (patch)
treec44e02570c1682ea76a938e5e772965cd1e40dff /prolog/runner/sandbox.pl
parent808712ba6592233025d261c70e5ca1b14bb74590 (diff)
parentd6aa9b9dfba1233ba5e6ce7229689cef8c7a6cc7 (diff)
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'prolog/runner/sandbox.pl')
0 files changed, 0 insertions, 0 deletions