summaryrefslogtreecommitdiffstats
path: root/pom.xml
diff options
context:
space:
mode:
authorHarald Musum <musum@yahoo-inc.com>2017-02-09 13:46:22 +0100
committerHarald Musum <musum@yahoo-inc.com>2017-02-09 13:46:22 +0100
commit6fc32b28c8ffc1511e1b4df77746d52586711a52 (patch)
treebd223c38ba82a7fc3ff2e061848d063ae7a79a5b /pom.xml
parent1a647bd3faa30ee182f254cbd0ca2c520c939036 (diff)
Remove docker-tools, no longer in use
Diffstat (limited to 'pom.xml')
-rw-r--r--pom.xml1
1 files changed, 0 insertions, 1 deletions
diff --git a/pom.xml b/pom.xml
index 13c2861a9b9..9e13c6a402d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1117,7 +1117,6 @@
<module>container-test-jars</module>
<module>defaults</module>
<module>docker-api</module>
- <module>docker-tools</module>
<module>docproc</module>
<module>docprocs</module>
<module>documentapi</module>