diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-07 16:13:31 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-07 16:13:31 +0200 |
| commit | 4426368369604224c971646eb334b212c69473f4 (patch) | |
| tree | 85bd916e3b2cbc4e9c33b6780cdc5da291ce8490 /python/util.py | |
| parent | c7f59505bcfd911c1f1e17e75bd3ca103f72c98f (diff) | |
Implemented the refresh-and-deploy shell script.
Diffstat (limited to 'python/util.py')
0 files changed, 0 insertions, 0 deletions