diff options
| author | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-12 18:22:22 +0200 |
|---|---|---|
| committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-12 18:22:22 +0200 |
| commit | 1a0b79f1a158e5627d0b74c25918b63963ef1a29 (patch) | |
| tree | e741507e87f7590c2664f08179933a9a3b6d5718 /prolog/util.py | |
| parent | 178da7b42b34b7d985d79432f31bf32810eadec2 (diff) | |
| parent | 1da0c46ab93edc8c11ba5b5dfcc25a85de79080e (diff) | |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'prolog/util.py')
0 files changed, 0 insertions, 0 deletions