-
Ronny Bergmann authored
There seems to be a hard redefinition after syntax is loaded for \SS, so this hacked fix should do the trick until we decide whether to rename it.
9232d3dd
There seems to be a hard redefinition after syntax is loaded for \SS, so this hacked fix should do the trick until we decide whether to rename it.