Rename henry to henry.json

This commit is contained in:
henryhuangbc authored and GitHub committed 2022-02-20 21:00:47 -08:00
1 parent c18c3f743d
commit fe7096bb2c
1 file changed
File renamed without changes.