From 2f0679252d84745826854737b255e39eb3b0f513 Mon Sep 17 00:00:00 2001 From: gravel Date: Sat, 20 May 2023 21:22:26 +0200 Subject: [PATCH] Merge dev & misc folders --- {dev => etc}/hooks/post-commit | 0 {misc => etc}/list_of_known_servers.txt | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {dev => etc}/hooks/post-commit (100%) rename {misc => etc}/list_of_known_servers.txt (100%) diff --git a/dev/hooks/post-commit b/etc/hooks/post-commit similarity index 100% rename from dev/hooks/post-commit rename to etc/hooks/post-commit diff --git a/misc/list_of_known_servers.txt b/etc/list_of_known_servers.txt similarity index 100% rename from misc/list_of_known_servers.txt rename to etc/list_of_known_servers.txt