Go to file
Matthew Flatt e606d2cc50 move `embedded-gui' docs from "gui-lib" to "gui-doc"
original commit: 4ee8dc2f5ef4b91c99c40af6fb870c7b38af227b
2013-07-12 14:52:41 -06:00
pkgs move `embedded-gui' docs from "gui-lib" to "gui-doc" 2013-07-12 14:52:41 -06:00