doc rename

This commit is contained in:
geeksville
2020-08-25 12:48:19 -07:00
parent 7f6a0e7ddc
commit 83ae3c7714