From 32ba988048fd999e5c47b54adef57eb8f1330cc1 Mon Sep 17 00:00:00 2001
From: Julian Priest <julianpriest@users.noreply.github.com>
Date: Thu, 22 Feb 2024 00:42:02 +0100
Subject: [PATCH] Rename disco1.md to disco-1.md

---
 doc/{disco1.md => disco-1.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/{disco1.md => disco-1.md} (100%)

diff --git a/doc/disco1.md b/doc/disco-1.md
similarity index 100%
rename from doc/disco1.md
rename to doc/disco-1.md