From fa64af7f1b66a7b64dda4f74da3c8ab84044f58f Mon Sep 17 00:00:00 2001 From: Matthias Mair Date: Mon, 23 Jan 2023 00:51:09 +0100 Subject: [PATCH] rename plugins to repo --- plugins.html => repo.html | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename plugins.html => repo.html (100%) diff --git a/plugins.html b/repo.html similarity index 100% rename from plugins.html rename to repo.html