summaryrefslogtreecommitdiff
path: root/scripts/deploy
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 19:11:33 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 19:11:33 +0100
commit71787079e02aa7c9fbc5e714778b3e0ba42c474d (patch)
tree0a7bac177056082fa0fdcce94fef8c88a0e9a702 /scripts/deploy
parent59a5430087e251a4f8a3eccdb2ef4ae5b9a2f775 (diff)
Factor common code out of PrologSession.{hint,run_for_user}
Diffstat (limited to 'scripts/deploy')
0 files changed, 0 insertions, 0 deletions