diff --git a/collects/meta/info.ss b/collects/meta/info.ss new file mode 100644 index 0000000000..816e164704 --- /dev/null +++ b/collects/meta/info.ss @@ -0,0 +1,3 @@ +#lang setup/infotab + +(define name "Infrastructure code") diff --git a/collects/meta/readme.txt b/collects/meta/readme.txt new file mode 100644 index 0000000000..921f8ac817 --- /dev/null +++ b/collects/meta/readme.txt @@ -0,0 +1 @@ +This directory contains code that is used to manage PLT infrastructure.