Remove now-unused files
authorIan Lynagh <igloo@earth.li>
Sat, 2 Jun 2007 12:11:59 +0000 (12:11 +0000)
committerIan Lynagh <igloo@earth.li>
Sat, 2 Jun 2007 12:11:59 +0000 (12:11 +0000)
commitd7323c8812f2a07a3f3a334730cf18ec0f5d41a1
treea5c157fd3984168a32b989f7ba735efef00f855d
parent6b6c06d3a95bcb08cf847e33e58aa2cdc32f0663
Remove now-unused files
driver/ghci/ghci.sh [deleted file]
driver/ghci/ghcii.sh [deleted file]