Update illuaminate config

This commit is contained in:
Jonathan Coates 2020-02-04 16:41:29 +00:00
parent 0de5969ec1
commit bf13bac152
No known key found for this signature in database
GPG Key ID: D6D4CB5BFBBB5CB8
1 changed files with 6 additions and 1 deletions

View File

@ -13,7 +13,12 @@
;; It's useful to name arguments for documentation, so we allow this. It'd
;; be good to find a compromise in the future, but this works for now.
-var:unused-arg))
-var:unused-arg
;; Suppress a couple of documentation comments warnings for now. We'll
;; hopefully be able to remove them in the coming weeks.
-doc:detached-comment -doc:undocumented -doc:undocumented-arg
-doc:unresolved-reference))
;; We disable the unused global linter in bios.lua and the APIs. In the future
;; hopefully we'll get illuaminate to handle this.