diff options
author | iphydf <iphydf@users.noreply.github.com> | 2018-01-28 15:17:34 +0000 |
---|---|---|
committer | iphydf <iphydf@users.noreply.github.com> | 2018-01-28 15:17:34 +0000 |
commit | 6e0ac337c979af420bef197f2a9e2bde5e65d0fc (patch) | |
tree | 77f2a92c7f09d994b207ddf8a10658ca5ccf4df2 /other/fun | |
parent | 651ef3adb6299e66745cc1d1b57feb29fd17090a (diff) |
Avoid clashes with "build" directories on case-insensitive file systems.
Diffstat (limited to 'other/fun')
-rw-r--r-- | other/fun/BUILD.bazel (renamed from other/fun/BUILD) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/other/fun/BUILD b/other/fun/BUILD.bazel index c3ab510e..c3ab510e 100644 --- a/other/fun/BUILD +++ b/other/fun/BUILD.bazel | |||