From 275032d6c1d25a33793b5c6b7285742577cf8fe9 Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Mon, 28 Mar 2022 15:49:13 -0700 Subject: [PATCH] Remove unnecessary `compile-omit-paths` info --- info.rkt | 3 --- parser-tools/info.rkt | 3 --- 2 files changed, 6 deletions(-) delete mode 100644 parser-tools/info.rkt 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"))