Fade out unnecessary code

Co-Authored-By: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Antonio Scandurra 2022-03-15 15:51:59 +01:00
parent 41bd58e3ac
commit 7155dabf5b
10 changed files with 73 additions and 34 deletions

View file

@ -630,6 +630,7 @@ message Diagnostic {
bool is_primary = 7;
bool is_valid = 8;
bool is_disk_based = 9;
bool is_unnecessary = 10;
enum Severity {
None = 0;