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