2 Commits

Author	SHA1	Message	Date
Matthew Flatt	6e7964b0b7	include icons needed by "gui-lib" in the package ... The "plt-logo-48x48.png" file is a copy of "plt-48x48.png" from "icons", but renamed to avoid conflicts.	2016-01-08 16:31:52 -07:00
Sam Tobin-Hochstadt	135e357a37	Remove extra directories.	2014-12-02 02:33:07 -05:00