From 31578c758c763605ef967b845d79f79d82607a12 Mon Sep 17 00:00:00 2001
From: Timo Koch <timo.koch@iws.uni-stuttgart.de>
Date: Tue, 4 Feb 2020 14:22:51 +0100
Subject: [PATCH] Delete stamp-vc

There seems to be no point in having this. It's pretty easy to find out if you have a git repository or a tarball
---
 stamp-vc | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 stamp-vc

diff --git a/stamp-vc b/stamp-vc
deleted file mode 100644
index ea2c89e7d0..0000000000
--- a/stamp-vc
+++ /dev/null
@@ -1 +0,0 @@
-A stamp file to signify that this directory comes from a version control system, not an unpacked tarball
-- 
GitLab