From e700e3f205f8f206a6e24797b18154bd94edfc78 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Mon, 24 Oct 2016 12:49:15 +0200
Subject: [PATCH] remove undocumented build_tools.sh; refs #4934

---
 build_tools.sh | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 build_tools.sh

diff --git a/build_tools.sh b/build_tools.sh
deleted file mode 100644
index 4d867b0ad1..0000000000
--- a/build_tools.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-./bin/nim c --noNimblePath -p:compiler -o:./bin/nimble dist/nimble/src/nimble.nim
-./bin/nim c --noNimblePath -p:compiler -o:./bin/nimsuggest dist/nimsuggest/nimsuggest.nim
-./bin/nim c -o:./bin/nimgrep tools/nimgrep.nim