From edc27740c0fec4e8daaabbabe0479c1efc191316 Mon Sep 17 00:00:00 2001 From: Benedikt Peetz Date: Wed, 10 Jun 2026 22:34:34 +0200 Subject: chore: Remove more (kinda) useless stuff --- docs/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 docs/.gitignore (limited to 'docs/.gitignore') diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index 45ddf0ae..00000000 --- a/docs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -site/ -- cgit v1.3.1