diff options
| author |  cparsons <cparsons@google.com> | 2017-10-02 19:53:51 +0200 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2017-10-06 19:41:53 +0200 |
| commit | b8d4be0fc8a368de1bba40a27d2daa7110f1dccc (patch) | |
| tree | eb0678ed96f4402ebfe0a868986e9cbd959f0f37 /src/main/java/com/google/devtools/build/lib/events/Location.java | |
| parent | aba77dd493e73079d7b9a5c0c049b405fd0a6c69 (diff) | |
Documentation fix for 'minimum_os_version' attribute
RELNOTES: None.
PiperOrigin-RevId: 170722989
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/events/Location.java')
0 files changed, 0 insertions, 0 deletions