From bfc59751f1a0ed79fc54c0d75a000e7e796e5530 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 11 Jan 2010 02:30:18 +0000 Subject: [PATCH] some minimal explanations svn: r17600 --- collects/meta/info.ss | 3 +++ collects/meta/readme.txt | 1 + 2 files changed, 4 insertions(+) create mode 100644 collects/meta/info.ss create mode 100644 collects/meta/readme.txt 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.