fix info.rkt
This commit is contained in:
parent
e9703a4189
commit
1607f7df45
|
@ -9,5 +9,5 @@
|
||||||
(define test-omit-paths
|
(define test-omit-paths
|
||||||
;; a number of the examples use SPIN for model checking which I need
|
;; a number of the examples use SPIN for model checking which I need
|
||||||
;; to figure out how to get working on the package server
|
;; to figure out how to get working on the package server
|
||||||
'("examples/")
|
'("examples/"
|
||||||
'("tests/spin/"))
|
"tests/spin/"))
|
||||||
|
|
Loading…
Reference in New Issue