Skip to content

Commit

Permalink
Merge pull request #3196 from aleksnanevski/master
Browse files Browse the repository at this point in the history 
removing remnants of coq-htt.dev
  • Loading branch information
@palmskog
palmskog authored Nov 1, 2024
2 parents 5ba18ef + 38dd0c3 commit 8395809
Showing 1 changed file with 0 additions and 54 deletions.
54 changes: 0 additions & 54 deletions extra-dev/packages/coq-htt/coq-htt.dev/opam
View file

This file was deleted.

0 comments on commit 8395809

Please sign in to comment.