-
Suggestion
-
Resolution: Unresolved
-
None
Problem Definition
Git is case sensitive and diffs include changes in capitalization.
There are some languages, like VHDL, which are case insensitive, and users who use them would like to be able to ignore capitalization changes in the diff.
Suggested Solution
Offer an option, through a custom implementation, to ignore capitalization changes in diffs (similar to the "ignore whitespace" option).