From 15934056dac459547845e81bad5b5f22503d1d95 Mon Sep 17 00:00:00 2001
From: Michele Caini <michele.caini@gmail.com>
Date: Tue, 14 Jan 2025 12:24:40 +0100
Subject: [PATCH] build: remove WORKSPACE file

---
 WORKSPACE | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
deleted file mode 100644
index e69de29bb2..0000000000