From 31f1ebfe334af4600cc95a7194d22b78dc7b29b1 Mon Sep 17 00:00:00 2001 From: Miroslav Blasko Date: Thu, 23 Nov 2023 16:50:35 +0100 Subject: [PATCH] [Fix] Bad name of repository configuration file --- .../{config-record-manager.ttl => config-record-manager-app.ttl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename db-server/repo-config/{config-record-manager.ttl => config-record-manager-app.ttl} (100%) diff --git a/db-server/repo-config/config-record-manager.ttl b/db-server/repo-config/config-record-manager-app.ttl similarity index 100% rename from db-server/repo-config/config-record-manager.ttl rename to db-server/repo-config/config-record-manager-app.ttl