Remove fake-happy; it's no longer useful
authorIan Lynagh <ian@well-typed.com>
Thu, 11 Oct 2012 14:34:46 +0000 (15:34 +0100)
committerIan Lynagh <ian@well-typed.com>
Thu, 11 Oct 2012 14:34:46 +0000 (15:34 +0100)
commitfe0efaaa646e91e75a649c28cf2a4f7bb52fe96d
tree051a4696b3c593004dc10c0ce42455f3c2fefb07
parent2f40085129120a6f485e3bd443afe686b7edbcc2
Remove fake-happy; it's no longer useful
distrib/fake-happy [deleted file]