View Revisions: Note 312

Summary 0000186: Suggestion/request: optional ignore case of filenames