-
Francois-Rene Rideau authored
Some use an uppercase string, some an lowercase string, some a symbol (which on most platforms is upcased and in other platforms isn't).
be8dbc58
Some use an uppercase string, some an lowercase string, some a symbol (which on most platforms is upcased and in other platforms isn't).