Rename the main design doc

This commit is contained in:
Marc Di Luzio 2020-06-30 17:41:08 +01:00
parent e3169cdbdd
commit 77bde53a52