diff options
| author | mike stedman <barbeque@users.noreply.github.com> | 2018-10-01 22:41:46 -0600 |
|---|---|---|
| committer | mike stedman <barbeque@users.noreply.github.com> | 2018-10-01 22:41:46 -0600 |
| commit | cf2142d82af42eb65e404cb3cc1e87bb45b21afc (patch) | |
| tree | 588ff41f16319ace82a0633832d7bd5cfac4335d /install_tools.nims | |
| parent | c6e10a442d3cc0c67d2965b5f523cd2835ea5ec2 (diff) | |
| download | Nim-cf2142d82af42eb65e404cb3cc1e87bb45b21afc.tar.gz | |
Remove install_nimble.nims, install_tools.nims as per #4934
Diffstat (limited to 'install_tools.nims')
| -rw-r--r-- | install_tools.nims | 6 |
1 files changed, 0 insertions, 6 deletions
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" |