From cf2142d82af42eb65e404cb3cc1e87bb45b21afc Mon Sep 17 00:00:00 2001 From: mike stedman Date: Mon, 1 Oct 2018 22:41:46 -0600 Subject: [PATCH] Remove install_nimble.nims, install_tools.nims as per #4934 --- install_nimble.nims | 6 ------ install_tools.nims | 6 ------ 2 files changed, 12 deletions(-) delete mode 100644 install_nimble.nims delete mode 100644 install_tools.nims diff --git a/install_nimble.nims b/install_nimble.nims deleted file mode 100644 index 29d89bec88..0000000000 --- a/install_nimble.nims +++ /dev/null @@ -1,6 +0,0 @@ - -mode = ScriptMode.Verbose - -echo "This script is deprecated. Use 'koch nimble' instead." - -exec "./koch nimble" diff --git a/install_tools.nims b/install_tools.nims deleted file mode 100644 index b0307196cc..0000000000 --- a/install_tools.nims +++ /dev/null @@ -1,6 +0,0 @@ - -mode = ScriptMode.Verbose - -echo "This script is deprecated. Use 'koch tools' instead." - -exec "./koch tools"