diff options
author | ccalvarin <ccalvarin@google.com> | 2017-09-08 20:43:02 +0200 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2017-09-11 13:07:00 +0200 |
commit | 80399bc14ced39936ef19a20f3b8c2d1536aa6c2 (patch) | |
tree | 30dcf021ad690f2f915ca1aa4461a00e30617ab6 /.gitattributes | |
parent | 5c3467f2d251ae85889caca627794a8f9ff726b2 (diff) |
Options with oldNames will no longer get reported twice in the effective option lists.
Tracking the names together for option identification was useful, but then the same list was being used as the source of options for the parser, which lead to some options being listed twice.
Also complete a few tests that should have already been tested in different orders.
PiperOrigin-RevId: 168024719
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions