2 Commits

Author	SHA1	Message	Date
Matthew Flatt	5f63b8c95b	fix get-color-from-user on Mac OS X ... Closes PR 15121 A better solution would be to implement the dialog, but given how long it's been broken, maybe no one cares enough for that to be worthwhile.	2015-10-02 15:56:42 -06:00
Sam Tobin-Hochstadt	135e357a37	Remove extra directories.	2014-12-02 02:33:07 -05:00