changed mustache files

imdea-software · Sep 27, 2024 · 9068807 · 9068807
1 parent d725c09
commit 9068807
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/templates-extra/coq-htt.opam.mustache b/templates-extra/coq-htt.opam.mustache
@@ -1,4 +1,5 @@
-# This file was generated from `meta.yml`, please do not edit manually.
+; This file was generated from `meta.yml`, please do not edit manually.
+
 opam-version: "2.0"
 maintainer: "{{& opam-file-maintainer }}{{^ opam-file-maintainer }}[email protected]{{/ opam-file-maintainer }}"
 version: "{{ opam-file-version }}{{^ opam-file-version }}dev{{/ opam-file-version }}"

diff --git a/templates-extra/docker-action.yml.mustache b/templates-extra/docker-action.yml.mustache
@@ -1,4 +1,5 @@
-# This file was generated from `meta.yml`, please do not edit manually.
+; This file was generated from `meta.yml`, please do not edit manually.
+
 name: Docker CI
 
 on: