diff options
author | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-18 14:03:19 +0200 |
---|---|---|
committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-18 14:03:19 +0200 |
commit | fe545bd1c782f5228323d360181d7aeccfce0324 (patch) | |
tree | 0c017fb231d568e3e26b2418d700daf060b1d915 /server/prolog_session.py | |
parent | e719ad4812fd4aaf05712022992966b805f5bd31 (diff) | |
parent | 1720db308bf4481d6be45d4f7f611bab576b1184 (diff) |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'server/prolog_session.py')
0 files changed, 0 insertions, 0 deletions