diff --git a/collects/tests/xml/info.ss b/collects/tests/xml/info.ss new file mode 100644 index 00000000..a073420a --- /dev/null +++ b/collects/tests/xml/info.ss @@ -0,0 +1,3 @@ +#lang setup/infotab + +(define compile-omit-paths 'all)