summaryrefslogtreecommitdiff
path: root/prolog/util.py
diff options
context:
space:
mode:
authorMarko Pušnik <marko.pusnik@guru.si>2015-10-06 00:41:37 +0200
committerMarko Pušnik <marko.pusnik@guru.si>2015-10-06 00:41:37 +0200
commit0f65272cd8f456a3e1d88d983590f47462b77e72 (patch)
tree021394bae27d500a907366bf5819759ad46ae9ec /prolog/util.py
parent17b999c2739006c2ec3b37ed64f119c9ad0b3338 (diff)
parente61c812f5f652c87cae76bdd155249cda14dcdff (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