pq 52fb3b3bab Introducing 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

Review URL: https://codereview.chromium.org/1410553005 .

2015-10-26 12:11:38 -07:00

..

linter_plugin.dart

Introducing a lint server plugin.

2015-10-26 12:11:38 -07:00

server_plugin.dart

Backed out validator registration.

2015-10-26 09:46:09 -07:00