reggae v0.8.1 (2020-12-08T11:51:27Z)
Home
Dub
Repo
gOptions
reggae
config
Undocumented in source.
Options
gOptions
;
Meta
Source
See Implementation
reggae
config
functions
options
setDefaultOptions
setOptions
manifest constants
configToDubInfo
dubInfo
isDubProject
userVars
variables
gDefaultOptions
gOptions