From 3351024e3aa7b113819380dd6177868830a48dfc Mon Sep 17 00:00:00 2001 From: Pietro Date: Tue, 16 Jan 2018 16:27:10 +0100 Subject: [PATCH] Remove trailing .install file --- lib_stdlib/tezos-base.install | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 lib_stdlib/tezos-base.install diff --git a/lib_stdlib/tezos-base.install b/lib_stdlib/tezos-base.install deleted file mode 100644 index 88dea3310..000000000 --- a/lib_stdlib/tezos-base.install +++ /dev/null @@ -1,29 +0,0 @@ -lib: [ - "_build/install/default/lib/tezos-base/META" {"META"} - "_build/install/default/lib/tezos-base/opam" {"opam"} - "_build/install/default/lib/tezos-base/tezos_base__MBytes.cmi" - "_build/install/default/lib/tezos-base/tezos_base__MBytes.cmx" - "_build/install/default/lib/tezos-base/tezos_base__MBytes.cmt" - "_build/install/default/lib/tezos-base/tezos_base__MBytes.cmti" - "_build/install/default/lib/tezos-base/mBytes.mli" - "_build/install/default/lib/tezos-base/tezos_base.cmi" - "_build/install/default/lib/tezos-base/tezos_base.cmx" - "_build/install/default/lib/tezos-base/tezos_base.cmt" - "_build/install/default/lib/tezos-base/tezos_base.ml-gen" - "_build/install/default/lib/tezos-base/tezos_base__Utils.cmi" - "_build/install/default/lib/tezos-base/tezos_base__Utils.cmx" - "_build/install/default/lib/tezos-base/tezos_base__Utils.cmt" - "_build/install/default/lib/tezos-base/tezos_base__Utils.cmti" - "_build/install/default/lib/tezos-base/utils.mli" - "_build/install/default/lib/tezos-base/tezos_base.cma" - "_build/install/default/lib/tezos-base/tezos_base.cmxa" - "_build/install/default/lib/tezos-base/tezos_base.a" - "_build/install/default/lib/tezos-base/tezos_base.cmxs" -] -libexec: [ - "_build/install/default/lib/tezos-base/test-ocp-indent.sh" {"test-ocp-indent.sh"} -] -doc: [ - "_build/install/default/doc/tezos-base/README.md" - "_build/install/default/doc/tezos-base/CHANGES.alphanet" -]