diff options
Diffstat (limited to 'vendor/Ltac2/theories/dune')
| -rw-r--r-- | vendor/Ltac2/theories/dune | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/vendor/Ltac2/theories/dune b/vendor/Ltac2/theories/dune deleted file mode 100644 index 1fe3ba28fe..0000000000 --- a/vendor/Ltac2/theories/dune +++ /dev/null @@ -1,6 +0,0 @@ -(coqlib - (name Ltac2) ; This determines the -R flag - (public_name ltac2.Ltac2) - (synopsis "Ltac 2 Plugin") - (libraries ltac2.plugin)) - |