diff options
Diffstat (limited to 'tools/bin/ghc')
| l--------- | tools/bin/ghc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/bin/ghc b/tools/bin/ghc deleted file mode 120000 index 8390ec9c96..0000000000 --- a/tools/bin/ghc +++ /dev/null @@ -1 +0,0 @@ -__dispatch.sh \ No newline at end of file |