wrong file got deleted

dynamicslab · Jan 23, 2020 · 9ec5902 · 9ec5902
1 parent 4c755d2
commit 9ec5902
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.git_archival.txt b/.git_archival.txt
@@ -0,0 +1 @@
+ref-names: $Format:%D$
diff --git a/.gitattributes b/.gitattributes