diff options
author | stuebinm | 2021-09-18 01:59:00 +0200 |
---|---|---|
committer | stuebinm | 2021-09-18 01:59:00 +0200 |
commit | 1c82540aeea7636a6cfd25acfdd28c1029f5669f (patch) | |
tree | afdf9cdf8f33dfeffc2478b3e1e069748497b687 /.gitignore | |
parent | 77d1f4ce4eb3ba40d884cc4ed7fa693e16538c8d (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