Skip to content
Snippets Groups Projects
Commit d7323c88 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Remove now-unused files

parent 6b6c06d3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
driver/ghci/ghci.sh deleted 100644 → 0
+ 0
− 2
View file @ 6b6c06d3
# Mini-driver for GHCi
exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}
driver/ghci/ghcii.sh deleted 100644 → 0
+ 0
− 3
View file @ 6b6c06d3
#!/bin/sh
# Mini-driver for GHCi
exec "$0"/../ghc --interactive ${1+"$@"}
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