diff options
| author | bjoern <bjoern.riemer@web.de> | 2016-02-17 17:29:42 +0100 |
|---|---|---|
| committer | bjoern <bjoern.riemer@web.de> | 2016-02-17 17:31:16 +0100 |
| commit | d2d5e14aa309d4167aba14504e01ec8d3157c0a8 (patch) | |
| tree | ca29a0d9aed4ff7d3cad53e22156c1f6e23936f1 /voctogui | |
| parent | 1070a11b1452aa6cf89b29eee43c1d7d661ddf6f (diff) | |
check if the entrypint script is run in a docker
Diffstat (limited to 'voctogui')
0 files changed, 0 insertions, 0 deletions