delete old docs (#327)

* delete old docs

* new docs
This commit is contained in:
2023-10-08 19:24:04 +02:00
committed by GitHub
parent fc8b5fdbe2
commit 8eea7d33f8
63 changed files with 3119 additions and 8012 deletions

View File

@@ -0,0 +1,4 @@
{
"0.x_1.0": "0.x → 1.0",
"1.4_1.5": "1.4 → 1.5"
}