K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2016-12-31T11:42:57.208530Z
K 7
svn:log
V 293
Beside what has been stated in previous commit, actually implement
--no-ignore-file-name-case some people might be using it, it is simple enough
to implement

Note that if one plays with multiple call to both --[case-]ignore-file-name-case
the latest one wins

Convinced by:	cperciva, rwatson

END