reggae v0.5.22 (2018-02-20T15:17:00Z)
Home
Dub
Repo
gDubInfos
reggae
dub
interop
Undocumented in source.
from
!
"reggae.dub.info"
.
DubInfo
[
string
]
gDubInfos
;
Meta
Source
See Implementation
reggae
dub
interop
functions
createReggaefile
getConfigurations
maybeCreateReggaefile
needDubFetch
writeDubConfig
structs
DubConfigurations
variables
gDubInfos