From cb018ca96b1dea4d2f300521084d14359e404e20 Mon Sep 17 00:00:00 2001 From: Laurens Miers Date: Tue, 24 Sep 2024 20:47:22 +0200 Subject: [PATCH] Move config.org to config_old.org This to keep the old settings, you never know. Yeah, I know, it's in git and I can always go back, but it's easier to compare if the file is still in the repo... --- config.org => config_old.org | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename config.org => config_old.org (100%) diff --git a/config.org b/config_old.org similarity index 100% rename from config.org rename to config_old.org