|
|
@ -17,4 +17,5 @@
|
|
|
|
"scribble-lib"
|
|
|
|
"scribble-lib"
|
|
|
|
"debug"))
|
|
|
|
"debug"))
|
|
|
|
(define update-implies '("fontland" "pitfall"))
|
|
|
|
(define update-implies '("fontland" "pitfall"))
|
|
|
|
(define test-omit-paths 'all)
|
|
|
|
(define test-omit-paths 'all)
|
|
|
|
|
|
|
|
(define compile-omit-paths '("qtest"))
|