Skip to content

Commit

Permalink
remove overlays for coqprime and metacoq
Browse files Browse the repository at this point in the history
  • Loading branch information
@Villetaneuse
Villetaneuse committed Oct 7, 2023
1 parent 34521f2 commit 9efc55c
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh
View file

This file was deleted.

0 comments on commit 9efc55c

Please sign in to comment.