Tue, 01 Jun 2010 15:43:20 +0200 | blanchet | remove debug output | changeset | files |
Tue, 01 Jun 2010 15:38:47 +0200 | blanchet | removed "nitpick_intro" attribute -- Nitpick noew uses Spec_Rules instead | changeset | files |
Tue, 01 Jun 2010 15:37:14 +0200 | blanchet | subsumed by NEWS -- for older history, see previous versions of Nitpick | changeset | files |