From c16597c53b237309296bb3631c19bff9d40cda39 Mon Sep 17 00:00:00 2001 From: Loki Date: Mon, 21 Oct 2024 14:25:22 +0000 Subject: [PATCH] docs: rename diagnostics/quirks to manual/quirks --- {diagnostics => manual}/quirks.html | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {diagnostics => manual}/quirks.html (100%) diff --git a/diagnostics/quirks.html b/manual/quirks.html similarity index 100% rename from diagnostics/quirks.html rename to manual/quirks.html