From b881812b04c63b0c8caced0715cecefdce164bbf Mon Sep 17 00:00:00 2001
From: Robert Göhler <github@ghlr.de>
Date: Mon, 17 Feb 2025 22:34:58 +0100
Subject: remove robots.txt

---
 docs/_html_extra/robots.txt | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 docs/_html_extra/robots.txt

diff --git a/docs/_html_extra/robots.txt b/docs/_html_extra/robots.txt
deleted file mode 100644
index bccdfc14..00000000
--- a/docs/_html_extra/robots.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-User-agent: atlassian-bot
-Disallow:
\ No newline at end of file
-- 
cgit v1.2.3