Commit Graph

1 Commits

Author SHA1 Message Date
John Wiegley
8d8acebfbb Extra: rename directory to Extra-lib
This is needed because not everyone uses a case-sensitive
filesystem (namely, OS X), which causes the Extra and extra packages to
collide.  Since extra is more recently maintained (by the author of
Shake and Hoogle), I've renamed Extra to just Extra-lib, keeping
everything else the same.
2014-10-20 19:17:12 -05:00