diff --git a/quad/quad/info.rkt b/quad/quad/info.rkt new file mode 100644 index 00000000..a131d8e1 --- /dev/null +++ b/quad/quad/info.rkt @@ -0,0 +1,4 @@ +#lang info + +(define compile-omit-paths '("old-master")) +(define test-omit-paths '("old-master"))