Merge pull request #9152 from barbeque/4934-remove-old-install-scripts

Remove install_nimble.nims, install_tools.nims as per #4934
This commit is contained in:
Dominik Picheta 2018-10-02 20:03:45 -07:00 • committed by GitHub
commit afd5b00310
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 12 deletions

View file

@ -1,6 +0,0 @@
mode = ScriptMode.Verbose
echo "This script is deprecated. Use 'koch nimble' instead."
exec "./koch nimble"

View file

@ -1,6 +0,0 @@
mode = ScriptMode.Verbose
echo "This script is deprecated. Use 'koch tools' instead."
exec "./koch tools"