Closed chriz-zeller closed 7 years ago
deleted RCS keyword $ID: ... $ in the first lines of several src-files to fix broken haddock documentation (#5)
deleted RCS keyword $ID: ... $ in the first lines of several src-files to fix broken haddock documentation (#5)