-
The latter is not used/available anymore since years. Also fix a typo in the include path for the Cocoa GL display header.
b3356329
The latter is not used/available anymore since years. Also fix a typo in the include path for the Cocoa GL display header.