Revert header comment in dune-project.

This is actually not allowed by Dune.
coq-community · Dec 16, 2020 · 6d0eada · 6d0eada
1 parent 404c87c
commit 6d0eada
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/dune-project.mustache b/dune-project.mustache
@@ -1,6 +1,3 @@
-; This file was generated from `meta.yml`, please do not edit manually.
-; Follow the instructions on https://github.com/coq-community/templates to regenerate.
-
 (lang dune 2.5)
 (using coq 0.2)
 (name {{ shortname }})