2019-07-03 18:42:56 +00:00
|
|
|
#lang setup/infotab
|
2020-02-10 04:24:37 +00:00
|
|
|
|
|
|
|
|
(define compile-omit-paths
|
|
|
|
|
'("examples"))
|
2020-03-21 13:35:16 +00:00
|
|
|
|
|
|
|
|
(define test-omit-paths
|
|
|
|
|
'(;; depends on Matthias's 7GUI project which is not on the package server
|
|
|
|
|
"examples"))
|
