From bf9e785a37ed49ef86f0fe1c36900a0bf49fb983 Mon Sep 17 00:00:00 2001 From: Michael Eischer <eischer@cs.fau.de> Date: Fri, 3 Jul 2020 19:24:51 +0200 Subject: [PATCH] Ensure that the generated-config folder exists --- scripts/generated-config/.gitkeep | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 scripts/generated-config/.gitkeep diff --git a/scripts/generated-config/.gitkeep b/scripts/generated-config/.gitkeep new file mode 100644 index 0000000..e69de29 -- GitLab