Merge dev & misc folders

2 years ago · 2f0679252d
parent d21d0653c6
commit 2f0679252d
2 changed files with 0 additions and 0 deletions
--- a/etc/hooks/post-commit
+++ b/etc/hooks/post-commit
--- a/misc/list_of_known_servers.txt
+++ b/misc/list_of_known_servers.txt