dev.md: updated documentation

This commit is contained in:
2022-02-18 09:22:10 +01:00
parent 8c975cec0e
commit 074518c513
2 changed files with 20 additions and 0 deletions