Rename files which only diffs in extension

This commit is contained in:
Wenkai Du
2020-05-15 09:16:32 -07:00
والد 52752aba6e
کامیت e7b36304c8
6فایلهای تغییر یافته به همراه5 افزوده شده و 5 حذف شده