rename files

2025-12-21 02:54:20 +01:00 · 2023-01-08 13:47:53 +01:00
parent 73b9596aab
commit 299d3bf808
7 changed files with 22 additions and 1 deletions
--- a/docs/specs/00.md
+++ b/docs/specs/00.md
--- a/docs/specs/01.md
+++ b/docs/specs/01.md
@@ -37,3 +37,24 @@ Response of `Bob`:
  ...
 }
 ```
+
+[00]: 00.md
+[01]: 02.md
+[03]: 03.md
+[04]: 04.md
+[05]: 05.md
+[06]: 06.md
+[07]: 07.md
+[08]: 08.md
+[09]: 09.md
+[10]: 10.md
+[11]: 11.md
+[12]: 12.md
+[13]: 13.md
+[14]: 14.md
+[15]: 15.md
+[16]: 16.md
+[17]: 17.md
+[18]: 18.md
+[19]: 19.md
+[20]: 20.md
--- a/docs/specs/02.md
+++ b/docs/specs/02.md
--- a/docs/specs/03.md
+++ b/docs/specs/03.md
--- a/docs/specs/04.md
+++ b/docs/specs/04.md
--- a/docs/specs/05.md
+++ b/docs/specs/05.md
--- a/docs/specs/06.md
+++ b/docs/specs/06.md