gremlin_server/Dockerfile in grumlin-0.19.7 vs gremlin_server/Dockerfile in grumlin-0.20.0

- old
+ new

@@ -1,5 +1,7 @@ FROM tinkerpop/gremlin-server +RUN rm -rf /opt/gremlin-server/ext/tinkergraph-gremlin + ADD tinkergraph-gremlin /opt/gremlin-server/ext/tinkergraph-gremlin ADD tinkergraph-empty.properties /opt/gremlin-server/conf/