diff --git a/info.rkt b/info.rkt index bcedc0c..9d42030 100755 --- a/info.rkt +++ b/info.rkt @@ -23,6 +23,3 @@ (define test-omit-paths '("examples/simple-line-drawing/examples/letter-i.rkt")) - - -(define compile-omit-paths '("examples")) diff --git a/parser-tools/info.rkt b/parser-tools/info.rkt deleted file mode 100644 index ae66609..0000000 --- a/parser-tools/info.rkt +++ /dev/null @@ -1,3 +0,0 @@ -#lang info - -(define compile-omit-paths '("private-lex/error-tests.rkt"))