From 275dcf4b72d094615d6093ec1176d42fe822c86b Mon Sep 17 00:00:00 2001
From: Andrea Lepori <alepori@student.ethz.ch>
Date: Sun, 30 Aug 2020 23:06:41 +0200
Subject: add commit id to version

---
 .gitattributes | 1 +
 version.txt    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 100644 .gitattributes

diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000..53a472b
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1 @@
+version.txt ident
diff --git a/version.txt b/version.txt
index 2f45361..2b1e0ab 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-0.2
\ No newline at end of file
+0.2 $Id$
-- 
cgit v1.2.1