diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 19:11:33 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 19:11:33 +0100 |
| commit | 71787079e02aa7c9fbc5e714778b3e0ba42c474d (patch) | |
| tree | 0a7bac177056082fa0fdcce94fef8c88a0e9a702 /scripts/deploy | |
| parent | 59a5430087e251a4f8a3eccdb2ef4ae5b9a2f775 (diff) | |
Factor common code out of PrologSession.{hint,run_for_user}
Diffstat (limited to 'scripts/deploy')
0 files changed, 0 insertions, 0 deletions