diff --git a/stamp-vc b/stamp-vc index 093711c197e5bade361b2b9e105fdea2f68594b6..ea2c89e7d0add59fdefb1c3278dc5e54b73990ea 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