diff options
Diffstat (limited to 'coq.opam.template')
| -rw-r--r-- | coq.opam.template | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/coq.opam.template b/coq.opam.template deleted file mode 100644 index c0efccdc0f..0000000000 --- a/coq.opam.template +++ /dev/null @@ -1,3 +0,0 @@ -build-env: [ - [ COQ_CONFIGURE_PREFIX = "%{prefix}" ] -] |