Rename notes.mu to micro.mu

2026-01-20 22:45:09 +00:00 · 2020-10-19 20:24:03 +01:00
parent 32bbe90c69
commit b105a057a2
2 changed files with 1 additions and 1 deletions
--- a/notes/micro.mu
+++ b/notes/micro.mu
@@ -0,0 +1 @@
 service notes
--- a/notes/notes.mu
+++ b/notes/notes.mu
@@ -1 +0,0 @@
 service notes