From c896b4f5e7efce3a0b736d4bf9239ee51da11f3b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 15 Feb 2022 23:51:42 +0100 Subject: [PATCH] move ci folder --- {.ci => ci}/build_document.sh | 0 {.ci => ci}/git-info-2.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {.ci => ci}/build_document.sh (100%) rename {.ci => ci}/git-info-2.sh (100%) diff --git a/.ci/build_document.sh b/ci/build_document.sh similarity index 100% rename from .ci/build_document.sh rename to ci/build_document.sh diff --git a/.ci/git-info-2.sh b/ci/git-info-2.sh similarity index 100% rename from .ci/git-info-2.sh rename to ci/git-info-2.sh