diff options
| -rw-r--r-- | src/buildtool/TARGETS | 1 | ||||
| -rw-r--r-- | src/buildtool/execution_api/TARGETS | 1 | ||||
| -rw-r--r-- | src/buildtool/execution_engine/TARGETS | 1 | ||||
| -rw-r--r-- | src/buildtool/serve_api/TARGETS | 1 | ||||
| -rw-r--r-- | src/other_tools/TARGETS | 1 | ||||
| -rw-r--r-- | src/utils/TARGETS | 1 |
6 files changed, 0 insertions, 6 deletions
diff --git a/src/buildtool/TARGETS b/src/buildtool/TARGETS deleted file mode 100644 index 0967ef42..00000000 --- a/src/buildtool/TARGETS +++ /dev/null @@ -1 +0,0 @@ -{} diff --git a/src/buildtool/execution_api/TARGETS b/src/buildtool/execution_api/TARGETS deleted file mode 100644 index 0967ef42..00000000 --- a/src/buildtool/execution_api/TARGETS +++ /dev/null @@ -1 +0,0 @@ -{} diff --git a/src/buildtool/execution_engine/TARGETS b/src/buildtool/execution_engine/TARGETS deleted file mode 100644 index 0967ef42..00000000 --- a/src/buildtool/execution_engine/TARGETS +++ /dev/null @@ -1 +0,0 @@ -{} diff --git a/src/buildtool/serve_api/TARGETS b/src/buildtool/serve_api/TARGETS deleted file mode 100644 index 0967ef42..00000000 --- a/src/buildtool/serve_api/TARGETS +++ /dev/null @@ -1 +0,0 @@ -{} diff --git a/src/other_tools/TARGETS b/src/other_tools/TARGETS deleted file mode 100644 index 0967ef42..00000000 --- a/src/other_tools/TARGETS +++ /dev/null @@ -1 +0,0 @@ -{} diff --git a/src/utils/TARGETS b/src/utils/TARGETS deleted file mode 100644 index 0967ef42..00000000 --- a/src/utils/TARGETS +++ /dev/null @@ -1 +0,0 @@ -{} |