DescriptionIntroducing a lint server plugin.
Avoids introducing an unwanted dependency on the options plugin to server (efects discovered: https://codereview.chromium.org/1411313005/). Also soon to be future home for fixes and completions.
BUG=
R=brianwilkerson@google.com
Committed: https://github.com/dart-lang/sdk/commit/52fb3b3babd3595539ca4872475948c462e9a6d1
Patch Set 1 #
Messages
Total messages: 4 (1 generated)
|