Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 0154fea

Browse files
committed
Remove obsolete scripts.
1 parent 8bc627a commit 0154fea

3 files changed

Lines changed: 0 additions & 159 deletions

File tree

Doc/tools/mkdvi.sh

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

Doc/tools/mkhtml.sh

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

Doc/tools/newind.py

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

0 commit comments

Comments
 (0)