diff options
author | 2016-07-12 18:05:06 +0000 | |
---|---|---|
committer | 2016-07-13 11:15:39 +0000 | |
commit | bc08ee7963816bbd361cc3043dec54f4e58a4bdb (patch) | |
tree | b9987a39984e7f83374b6b3d457a58dfaf54b3bd /src/main/java/com/google/devtools/build/lib/syntax/Parameter.java | |
parent | 63d472608aa2c7fb2f69b5d3107ecfce17426b3f (diff) |
Fix native.existing_rule() when argument is an existing file
--
MOS_MIGRATED_REVID=127218963
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/syntax/Parameter.java')
0 files changed, 0 insertions, 0 deletions