Skip to content
Snippets Groups Projects
Commit a13383cf authored by stuebinm's avatar stuebinm
Browse files

remove unused --allowScripts flag

(didn't do anything, and it seems better to do all of these things in
the config anyways)
parent ac21c10c
No related branches found
No related tags found
No related merge requests found
......@@ -28,8 +28,6 @@ data Options = Options
-- ^ path to the repository containing maps to lint
, entrypoint :: Maybe String
-- ^ entrypoint in that repository
, allowScripts :: Bool
-- ^ pass --allowScripts to allow javascript in map
, json :: Bool
-- ^ emit json if --json was given
, lintlevel :: Maybe Level
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment