diff options
author | 2017-12-01 07:30:35 -0800 | |
---|---|---|
committer | 2017-12-01 07:32:29 -0800 | |
commit | 062da5cbb5848dbfa1cf8bae028b06313a84ef0d (patch) | |
tree | ef4ed5a16f9a81958453953da008e1d6c44b1875 /src/main/java/com/google/devtools/build/lib/rules/android/AndroidBinary.java | |
parent | ff12a22fde96a28d6ad1279b60a421163e772aa6 (diff) |
Prevent git filegroup from choking on gitk temporary files.
Closes #4168.
PiperOrigin-RevId: 177589539
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/android/AndroidBinary.java')
0 files changed, 0 insertions, 0 deletions