chore(tools): Remove ormolu from tools

The Ormolu derivation is too large to be instantiated on-demand. I've resorted to installing this tool into my profile instead.
2019-08-25 20:17:03 +01:00 · 2019-08-25 20:17:03 +01:00 · 6450347bf1
commit 6450347bf1
parent 1747df418e
2 changed files with 0 additions and 4 deletions
--- a/tools/bin/__dispatch.sh
+++ b/tools/bin/__dispatch.sh
@ -22,9 +22,6 @@ case "${TARGET_TOOL}" in
  blog_cli)
    attr="tazjin.blog_cli"
    ;;
-  ormolu)
-    attr="ormolu"
-    ;;
  *)
    echo "The tool '${TARGET_TOOL}' is currently not installed in this repository."
    exit 1
--- a/tools/bin/ormolu
+++ b/tools/bin/ormolu
@ -1 +0,0 @@
-__dispatch.sh