From c533dd4efb5fa118076becff83dc16f0ab88a854 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Mon, 31 Jul 2023 13:30:47 +0200 Subject: [PATCH] Remove useless template --- alt-ergo-js.opam.template | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 alt-ergo-js.opam.template diff --git a/alt-ergo-js.opam.template b/alt-ergo-js.opam.template deleted file mode 100644 index eaeae7cef..000000000 --- a/alt-ergo-js.opam.template +++ /dev/null @@ -1,9 +0,0 @@ -# This part comes from the template. Please edit alt-ergo-js.opam.template -# and not alt-ergo-js.opam which is generated by dune -tags: "org:OCamlPro" - -license: [ - "LicenseRef-OCamlpro-Non-Commercial" - "Apache-2.0" - "LGPL-2.1-only" -]