diff --git a/collects/launcher/sh b/collects/launcher/sh deleted file mode 100755 index e69de29..0000000 diff --git a/collects/plai/collector/lang/reader.ss b/collects/plai/collector/lang/reader.ss new file mode 100644 index 0000000..f170a42 --- /dev/null +++ b/collects/plai/collector/lang/reader.ss @@ -0,0 +1,2 @@ +(module reader syntax/module-reader + #:language `plai/collector)