From d2cd20fdb3a66efcbd999188ca0ba533a3e0911b Mon Sep 17 00:00:00 2001
From: Leo Antoli <430982+lantoli@users.noreply.github.com>
Date: Thu, 18 Apr 2024 09:17:22 +0200
Subject: [PATCH] Revert "TEMPORARY: doc change"

This reverts commit 90c869c3e99ad034fe8f2071cfac5fba65cd7242.
---
 website/docs/hello.txt | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 website/docs/hello.txt

diff --git a/website/docs/hello.txt b/website/docs/hello.txt
deleted file mode 100644
index e69de29bb2..0000000000