From 2a13c7f737d6ab4643a6b520771608272511307e Mon Sep 17 00:00:00 2001 From: gravel Date: Sat, 20 May 2023 19:22:26 +0000 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