summaryrefslogtreecommitdiff
path: root/python/util.py
diff options
context:
space:
mode:
authorMartin Možina <martin.mozina@fri.uni-lj.si>2016-09-27 15:19:43 +0200
committerMartin Možina <martin.mozina@fri.uni-lj.si>2016-09-27 15:19:43 +0200
commit4e2ea9ab2da792bae138916f45e4cf33ffca6ff0 (patch)
tree011bf12cdb051d4ec4cb50062881638d6789c6ee /python/util.py
parent82b23da6a519d4bd0923ffd2d9ec5c8e6d8f7a2f (diff)
parentb88aac8b26de977f17e27645fd3d0412a6420f53 (diff)
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'python/util.py')
0 files changed, 0 insertions, 0 deletions