Rename disco1.md to disco-1.md

discosat · Feb 21, 2024 · 32ba988 · 32ba988
1 parent abface9
commit 32ba988
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/disco1.md → doc/disco-1.md b/doc/disco1.md → doc/disco-1.md