Skip to content

Commit 58b923c

Browse files
committed
doc: Remove unused make.bat file
The file was added by the initial doc experiment commit. It's not used. Remove it. Signed-off-by: Daniel Wagner <[email protected]>
1 parent 80db165 commit 58b923c

1 file changed

Lines changed: 0 additions & 35 deletions

File tree

doc/make.bat

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

0 commit comments

Comments
 (0)