From aed54175c706efdd40ad9b1049d504446702d85a Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Fri, 14 Nov 2014 15:45:17 +0000
Subject: [PATCH] Update text in the stamp file

[[Imported from SVN: r9968]]
---
 stamp-vc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stamp-vc b/stamp-vc
index 093711c1..ea2c89e7 100644
--- a/stamp-vc
+++ b/stamp-vc
@@ -1 +1 @@
-Stamp file to show that we are not in a distribution tarball (i.e., dune-autogen.sh needs to be called).
+A stamp file to signify that this directory comes from a version control system, not an unpacked tarball
-- 
GitLab