drdr info file
This commit is contained in:
parent
83a74c89c0
commit
0a881a6305
4
collects/meta/drdr/info.rkt
Normal file
4
collects/meta/drdr/info.rkt
Normal file
|
@ -0,0 +1,4 @@
|
||||||
|
#lang setup/infotab
|
||||||
|
|
||||||
|
(define name "DrDr")
|
||||||
|
(define compile-omit-paths 'all)
|
Loading…
Reference in New Issue
Block a user