diff --git a/collects/embedded-gui/info.ss b/collects/embedded-gui/info.ss new file mode 100644 index 00000000..39cdc379 --- /dev/null +++ b/collects/embedded-gui/info.ss @@ -0,0 +1,5 @@ +(module info (lib "infotab.ss" "setup") + (define name "Embedded GUI") + (define doc.txt "doc.txt")) + +