Merge branch 'master' into devel

2018-01-10 09:53:05 +01:00 · 2018-01-10 09:53:05 +01:00 · 316e7b5cbe
commit 316e7b5cbe
parent b486ea0f33 73a2aa0bed
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -1,4 +1,5 @@
 FROM debian:latest
+#RUN apt-key update
 RUN apt-get update
 RUN apt-get -y upgrade
 RUN apt-get -y install openjdk-8-jre openjdk-8-jdk