Commit 931b3c74 authored by thomie's avatar thomie
Browse files

Delete libraries/ghci/GNUmakefile [skip ci]

This file should not have been included in the repository, as it is
generated by `./boot`.
parent c92cfbce
dir = libraries/ghci
TOP = ../..
include $(TOP)/mk/
FAST_MAKE_OPTS += stage=0
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment