Merge branch 'doc/split-dev-doc' into 'dev'
doc/dev-{algo,client,server}.md: converted and split from dev.org See merge request !491
Showing
doc/dev-algo.md
0 → 100644
doc/dev-client.md
0 → 100644
doc/dev-server.md
0 → 100644