Change 14952

C. Thomas Tyler
Adjusted case sensitivitiy to be case-sensitive on Linux,
the opposite of the SDP default.
1 edited 0 added 0 deleted
Tip: Use n and p to cycle through the changes.