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 /src | |
| 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 'src')
0 files changed, 0 insertions, 0 deletions