diff options
| author | Jonas Schievink <jonasschievink@gmail.com> | 2021-08-06 16:14:54 +0200 |
|---|---|---|
| committer | Jonas Schievink <jonasschievink@gmail.com> | 2021-08-06 16:14:54 +0200 |
| commit | a310d7453643d0038abd2f04d8b6bf600d412d46 (patch) | |
| tree | ba5ef1aa7a3622972d7e014a84c898b546a24a47 /docs/dev | |
| parent | 40e9c97d61681fb1806f254e6938db5f74c06a05 (diff) | |
Don't publish diagnostics in library source roots
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions