Remove cli args
This commit is contained in:
parent
a943048f08
commit
fdf8e1cb53
1 changed files with 1 additions and 1 deletions
2
.ghcid
2
.ghcid
|
@ -1 +1 @@
|
|||
--warnings -T ":main -C ./docs"
|
||||
--warnings -T ":main"
|
||||
|
|
Loading…
Reference in a new issue