tree 075c7be63643f57d4fc04981e43a3b4b0ffd586a
parent 2c001aacc081129f06bd0ba580a6c31ab21fb2aa
author Nate Bosch <nbosch@google.com> 1553020987 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1553020987 +0000

Delete some copy/pasted doc comments

Where we have an `@override` which duplicate's the super types doc
comment it is not adding anything useful and can be removed.

Also do some minor comment cleanup where feasible:
- Introduce blank lines following the first sentence to follow effective
  dart guidelines.
- Change non-doc comments to use two slashes.
- Where comments were improved after being pasted, bring the improvement
  to the original comment.
- Move comments where there was no comment on the super type but the
  subtype comment clearly applied.

Change-Id: I61b5eca79f692641ce96c5c9d26fa3731c8e230e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/97008
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Sigmund Cherem <sigmund@google.com>
Commit-Queue: Nate Bosch <nbosch@google.com>