diff --git a/collects/tests/drracket/info.rkt b/collects/tests/drracket/info.rkt new file mode 100644 index 0000000000..7317c84abd --- /dev/null +++ b/collects/tests/drracket/info.rkt @@ -0,0 +1,5 @@ +#lang setup/infotab + +(define compile-omit-paths + '("image-and-comment-box.rkt")) +