From 50be47d6db1bee274c64df6b6734c23cb84fb1a6 Mon Sep 17 00:00:00 2001 From: Daniel Christoph <daniel.christoph@informatik.hu-berlin.de> Date: Sun, 26 Jan 2020 15:01:37 +0100 Subject: [PATCH] Deleted src/sim/launch/git.bla, src/sim/scripts/mich.blablabla files --- src/sim/launch/git.bla | 0 src/sim/scripts/mich.blablabla | 0 2 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/sim/launch/git.bla delete mode 100644 src/sim/scripts/mich.blablabla diff --git a/src/sim/launch/git.bla b/src/sim/launch/git.bla deleted file mode 100644 index e69de29..0000000 diff --git a/src/sim/scripts/mich.blablabla b/src/sim/scripts/mich.blablabla deleted file mode 100644 index e69de29..0000000 -- GitLab