diff options
| author | Christophe Romain <christophe.romain@process-one.net> | 2018-01-11 10:19:56 +0100 |
|---|---|---|
| committer | Christophe Romain <christophe.romain@process-one.net> | 2018-01-11 10:19:56 +0100 |
| commit | d6e1bc242c11b74f1aedde1398322253a753225d (patch) | |
| tree | f18b670be077d1669ab2383da1e2d2e524771b74 /docker/scripts/lib/config.sh | |
| parent | Prepare mix for 18.01 (diff) | |
Remove old docker specs
Diffstat (limited to '')
| -rw-r--r-- | docker/scripts/lib/config.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docker/scripts/lib/config.sh b/docker/scripts/lib/config.sh deleted file mode 100644 index 6b9cbbb12..000000000 --- a/docker/scripts/lib/config.sh +++ /dev/null @@ -1 +0,0 @@ -# Overridable file |