dart-lang/chromedeveditor — pull request #3602 by devoncarew (2014-10-24 20:27:38+00:00)
Title: hide the .pub dir

Hide the new `.pub` dir from analysis (and from the files view). Fix #3598

@keertip @gaurave