diff options
author | Dominik Picheta <dominikpicheta@googlemail.com> | 2018-10-02 20:03:45 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-02 20:03:45 -0700 |
commit | afd5b003105cadda78e5a4a8bd9b91ca95ac0972 (patch) | |
tree | e117ed5aa38bbb68f6a0d044f2b36c1790e269b6 | |
parent | 82693514c50f674f3e09531f3145863434040b49 (diff) | |
parent | cf2142d82af42eb65e404cb3cc1e87bb45b21afc (diff) | |
download | Nim-afd5b003105cadda78e5a4a8bd9b91ca95ac0972.tar.gz |
Merge pull request #9152 from barbeque/4934-remove-old-install-scripts
Remove install_nimble.nims, install_tools.nims as per #4934
-rw-r--r-- | install_nimble.nims | 6 | ||||
-rw-r--r-- | install_tools.nims | 6 |
2 files changed, 0 insertions, 12 deletions
diff --git a/install_nimble.nims b/install_nimble.nims deleted file mode 100644 index 29d89bec8..000000000 --- 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 b0307196c..000000000 --- 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" |