mn200/HOL — Issue #47: Rename READ-ME, Readme etc. to README
Author: tjark
Created: 2011-11-24 23:33:34+00:00
State: open

[HOL]$ find . -name README|wc -l
82
[HOL]$ find . -name READ-ME|wc -l
18
[HOL]$ find . -name Readme|wc -l
1

For sake of uniformity, alternative spellings of README should be eliminated where possible.