doc: Rename device-provisioning.txt

device-provisioning.txt is an API file, so name it accordingly.
This commit is contained in:
Denis Kenzior 2022-01-20 14:22:32 -06:00
parent 76b6aa66b3
commit 4a3792da7e
1 changed files with 0 additions and 0 deletions