[project @ 1997-09-09 14:22:33 by simonm]
remove redundant RELEASE (users_guide/2-06-notes is used instead)
ghc/RELEASE
deleted
100644 → 0
Please register or sign in to comment
remove redundant RELEASE (users_guide/2-06-notes is used instead)