diff options
author | fzaiser <fzaiser@google.com> | 2017-10-24 16:58:03 +0200 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2017-10-24 17:25:58 +0200 |
commit | 88157011af4ddac21e404e9deea0d78668a71a99 (patch) | |
tree | 727df90d3c152d371696a2d82ec419f3cf9c7eb3 /src/main/java/com/google/devtools/build/lib | |
parent | ea2ecbf8c0601b5a1a72dfb849dc1b86a72df533 (diff) |
Skylint: docstring format: warn about wrong order of sections only once
RELNOTES: none
PiperOrigin-RevId: 173257316
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions