Skip to content

Commit 795c180

Browse files
author
ZhangJian He
authored
chore: delete unused .header file (#1295)
Signed-off-by: ZhangJian He <[email protected]>
1 parent b2a6456 commit 795c180

File tree

1 file changed

+0
-16
lines changed

1 file changed

+0
-16
lines changed

.header

Lines changed: 0 additions & 16 deletions
This file was deleted.

0 commit comments

Comments
 (0)