[skip ci] Rename doc file name (#8618)

Signed-off-by: Edward Zeng <jie.zeng@zilliz.com>
This commit is contained in:
edward.zeng 2021-09-26 21:35:58 +08:00 committed by GitHub
parent 9e37881b29
commit d690ab2bff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23