removing remnants of coq-htt.dev

coq · Nov 1, 2024 · 38dd0c3 · 38dd0c3
1 parent 5ba18ef
commit 38dd0c3
Showing 1 changed file with 0 additions and 54 deletions.
diff --git a/extra-dev/packages/coq-htt/coq-htt.dev/opam b/extra-dev/packages/coq-htt/coq-htt.dev/opam