From 41467b1a58c30a4d1ed9396099e99066a04f8225 Mon Sep 17 00:00:00 2001
From: Tim Fischer <fischeti@iis.ee.ethz.ch>
Date: Mon, 29 Jul 2024 18:37:14 +0200
Subject: [PATCH] Remove `Bender.local` in favor of `Bender.lock`

---
 Bender.local | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 Bender.local

diff --git a/Bender.local b/Bender.local
deleted file mode 100644
index f92f20789..000000000
--- a/Bender.local
+++ /dev/null
@@ -1,7 +0,0 @@
-# Copyright 2020 ETH Zurich and University of Bologna.
-# Licensed under the Apache License, Version 2.0, see LICENSE for details.
-# SPDX-License-Identifier: Apache-2.0
-
-overrides:
-    # Some of our dependencies have false conflicts with our new AXI version; force our version.
-    axi: {git: https://github.com/pulp-platform/axi.git, rev:  vcs-fixes }