-
Benjamin Eberlei authored
Revert a previous commit, apparently the Type engine has two ways of naming types, and there is one that is case-sensitive.
3009fab5
Revert a previous commit, apparently the Type engine has two ways of naming types, and there is one that is case-sensitive.