From 06f2d4ecf3f72796986e4fe8c86a9a0080fc8c90 Mon Sep 17 00:00:00 2001
From: Vertexwahn <julian.amann@tum.de>
Date: Thu, 27 Apr 2023 20:45:50 +0200
Subject: [PATCH] Bazel support: Remove not needed .bazelrc file

---
 support/bazel/.bazelrc | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 support/bazel/.bazelrc

diff --git a/support/bazel/.bazelrc b/support/bazel/.bazelrc
deleted file mode 100644
index 583cbbd2..00000000
--- a/support/bazel/.bazelrc
+++ /dev/null
@@ -1 +0,0 @@
-build --symlink_prefix=/ # Out of source build