From 6421f767c6fdeacd5c4d2d0e295602fad41a41f0 Mon Sep 17 00:00:00 2001 From: Matthias Date: Wed, 2 Jul 2025 16:49:21 +0200 Subject: [PATCH] chore: remove github buttons js code --- docs/overrides/main.html | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/overrides/main.html b/docs/overrides/main.html index cba627ead..4b53d3c57 100644 --- a/docs/overrides/main.html +++ b/docs/overrides/main.html @@ -37,7 +37,6 @@ {{ super() }} -