summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorstuebinm2021-09-18 01:59:00 +0200
committerstuebinm2021-09-18 01:59:00 +0200
commit1c82540aeea7636a6cfd25acfdd28c1029f5669f (patch)
treeafdf9cdf8f33dfeffc2478b3e1e069748497b687 /.gitignore
parent77d1f4ce4eb3ba40d884cc4ed7fa693e16538c8d (diff)
can collect dependencies!
There's now a Lint type, which may be either a "true lint" (which is a Hint, which contains some message and level of severity), or a Depends, which indicates that this map depends on some ressource or other (and is otherwise treated as a special info Hint in all other cases)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions