diff options
author | stuebinm | 2021-11-16 19:51:58 +0100 |
---|---|---|
committer | stuebinm | 2021-11-16 19:51:58 +0100 |
commit | b1dcbc9edd964b9d0cab6c26db4d502840011ac4 (patch) | |
tree | baab42a8926f65f4d09ef982f3dee987c4ddffbd /lib/LintConfig.hs | |
parent | 6c674fa7c2916149937c54b8241d28f0d7c97976 (diff) |
add adjustment: add prefix for openWebsite
Diffstat (limited to 'lib/LintConfig.hs')
-rw-r--r-- | lib/LintConfig.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/LintConfig.hs b/lib/LintConfig.hs index 5596005..5c1ae20 100644 --- a/lib/LintConfig.hs +++ b/lib/LintConfig.hs @@ -40,6 +40,7 @@ data LintConfig f = LintConfig -- ^ Don't copy map assets (mostly useful for development) , configAllowScripts :: HKD f Bool -- ^ Allow defining custom scripts in maps + , configLinkPrefix :: HKD f Text } deriving (Generic) type LintConfig' = LintConfig Identity |