tree 171a0c71219ac54ec8ec7410852e55b60f4e4697
parent b1f31d43ca4edf02156100a708d69f1c2932220f
author Joshua Litt <joshualitt@google.com> 1645579099 +0000
committer Commit Bot <commit-bot@chromium.org> 1645579099 +0000

[dart2js] Cleanup comment in options.dart.

Change-Id: I8586aea2901a407cb33d2bd8730cce25f2515842
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/233943
Reviewed-by: Sigmund Cherem <sigmund@google.com>
Commit-Queue: Joshua Litt <joshualitt@google.com>