From 9ec5902ade106cf5f2da932905c8180ec62b395b Mon Sep 17 00:00:00 2001
From: Markus Quade <markus.quade@ambrosys.de>
Date: Thu, 23 Jan 2020 11:49:46 +0100
Subject: [PATCH] wrong file got deleted

---
 .git_archival.txt | 1 +
 .gitattributes    | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 .git_archival.txt
 delete mode 100644 .gitattributes

diff --git a/.git_archival.txt b/.git_archival.txt
new file mode 100644
index 000000000..95cb3eea4
--- /dev/null
+++ b/.git_archival.txt
@@ -0,0 +1 @@
+ref-names: $Format:%D$
diff --git a/.gitattributes b/.gitattributes
deleted file mode 100644
index 0ae50d15d..000000000
--- a/.gitattributes
+++ /dev/null
@@ -1 +0,0 @@
-pysindy/_version.py export-subst