diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-08-25 19:05:20 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-25 19:05:20 +0200 |
| commit | c72f8211fbcf4241db81d091c55417103acf9fbc (patch) | |
| tree | 006c9f6d457ef071a95ac6c856d4416cb4fbff52 /python/runner/main.py | |
| parent | 959f5f0f71b51ac47870a40b09157c6deef73a52 (diff) | |
| parent | bb7886143bbc05952679640db34315ef2d831e04 (diff) | |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'python/runner/main.py')
0 files changed, 0 insertions, 0 deletions