From 87e67df7e6c20480e82b19125be403e813e42470 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Sun, 25 May 2025 19:33:36 +0200 Subject: [PATCH] Move public key to web/. It's only needed for the web pages, so it should not be contained in the top-level directory. --- PUBLIC_KEY => web/PUBLIC_KEY | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename PUBLIC_KEY => web/PUBLIC_KEY (100%) diff --git a/PUBLIC_KEY b/web/PUBLIC_KEY similarity index 100% rename from PUBLIC_KEY rename to web/PUBLIC_KEY -- 2.39.5