diff options
author | 2016-09-19 13:42:50 -0700 | |
---|---|---|
committer | 2016-09-19 13:42:50 -0700 | |
commit | 2b74220466957e7fbc86ebe3da5ead9a0e4f5169 (patch) | |
tree | 31b70922125bcb69f52b15985247ad7b2a56d2dc /tools/bazel.rc | |
parent | 9b10d6e35be4c932426cc1dfda5686a5dc186773 (diff) |
Remove unused files.
Diffstat (limited to 'tools/bazel.rc')
-rw-r--r-- | tools/bazel.rc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/bazel.rc b/tools/bazel.rc deleted file mode 100644 index 742f59fee1..0000000000 --- a/tools/bazel.rc +++ /dev/null @@ -1 +0,0 @@ -build:cuda --crosstool_top=//third_party/gpus/crosstool |