From 851a32212956e4afd6518780b6a22b13451d0e3a Mon Sep 17 00:00:00 2001
From: Michael Thies <m.thies@plt.rwth-aachen.de>
Date: Tue, 22 Oct 2019 14:55:21 +0200
Subject: [PATCH] Add git to installed image

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 8171e68..05e2dd4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,3 +1,3 @@
 FROM ubuntu:19.04
 
-RUN ln -fs /usr/share/zoneinfo/Europe/Berlin /etc/localtime && apt-get update -qq && apt-get install -y -qq build-essential bison flex tcl cmake gcc-arm-linux-gnueabihf gcc-mingw-w64-x86-64 binutils-mingw-w64-x86-64
+RUN ln -fs /usr/share/zoneinfo/Europe/Berlin /etc/localtime && apt-get update -qq && apt-get install -y -qq build-essential git bison flex tcl cmake gcc-arm-linux-gnueabihf gcc-mingw-w64-x86-64 binutils-mingw-w64-x86-64
-- 
GitLab