build: add script to copy source tree to/from build server

2023-03-13 21:40:45 +00:00
parent 3e954b1e13
commit c8facafb77
2 changed files with 133 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -221,3 +221,4 @@ build
 .ccls-cache
 socks.log
 .cache
+.config