From 9b095f475bc69930ca1723c3e9c7865f120027d3 Mon Sep 17 00:00:00 2001 From: Philipp Date: Sun, 12 Feb 2023 17:09:06 +0100 Subject: [PATCH] add license header ;) --- mods/local.config.ci.php | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/mods/local.config.ci.php b/mods/local.config.ci.php index fac4d80b9f..f482eecfb7 100644 --- a/mods/local.config.ci.php +++ b/mods/local.config.ci.php @@ -1,4 +1,23 @@ . + * + */ // Local configuration -- 2.39.5