diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-08-20 11:57:24 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-20 11:57:24 +0200 |
| commit | 83fd8a32f663ddceb713d46fae3cf52df893123a (patch) | |
| tree | 58dac52964a268e9827e9938449c152213da9f99 /python/runner/main.py | |
| parent | 2302293e770e2b003c0d90cd5672af928c5f2e4e (diff) | |
| parent | 58d1eb02ce4273ec5abb65763471147f7cdc6c6d (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