Merge branch 'main' into varvisualizer

2026-08-29 08:34:42 +08:00 · 2022-08-25 17:41:22 -05:00
parent b06cec328c 75b22251ff
commit f487d0de87
23 changed files with 50 additions and 24 deletions
@@ -0,0 +1,12 @@
+
+#
+# To manually create a tar file of Seer release (something that GitHub would create), run these commands.
+#
+
+    % cd seer/
+    % git archive --format=tar.gz --prefix=seer-1.9/ HEAD > ~/seer-1.9.tar.gz
+
+# git archive looks at this file for a list of files and directories to exclude.
+
+    seer/.gitattributes
+