summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorEdoardo La Greca2025-12-21 20:50:04 +0100
committerEdoardo La Greca2025-12-21 20:50:04 +0100
commit98f4c62f6a696eff9e8fde6fce861d6f726731fd (patch)
tree979696f73c4515e102e9bba49c8fb342cfd95ca2 /doc
parent162bf4495c3b34da98a49df6f9d0333991396a07 (diff)
make design a markdown file
Diffstat (limited to 'doc')
-rw-r--r--doc/design.md (renamed from doc/design)0
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/design b/doc/design.md
index 22849b0..22849b0 100644
--- a/doc/design
+++ b/doc/design.md