Merge dev & misc folders

2 years ago · 2a13c7f737
parent 2d168d2ec9
commit 2a13c7f737
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