removing obsolete templates (#30)

imdea-software · Oct 7, 2024 · 10cc2d3 · 10cc2d3
1 parent 3daf5b9
commit 10cc2d3
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 124 deletions.
diff --git a/templates-extra/coq-htt.opam.mustache b/templates-extra/coq-htt.opam.mustache
diff --git a/templates-extra/docker-action.yml.mustache b/templates-extra/docker-action.yml.mustache
diff --git a/templates-extra/dune.mustache b/templates-extra/dune.mustache