diff options
| author | a-tze <atze@fem.tu-ilmenau.de> | 2016-07-15 23:00:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-15 23:00:14 +0200 |
| commit | 73a800f74b8a606ce1e970243cc5e707046f0ef6 (patch) | |
| tree | 25bd6e5169f9e0f128cb5a68a40c6e547890408c /docker-ep.sh | |
| parent | c6d2f14b98c6e0e52c7cba1d04c0b20b97016e19 (diff) | |
Debian stretch is sufficient
Diffstat (limited to 'docker-ep.sh')
0 files changed, 0 insertions, 0 deletions