scripts/build: Remove unused scripts
catmidi.py was meant for debugging in 2007. The two scripts
html-to-texi.py and install-info-html.sh were once used, but
have been replaced since.
Issue 551100044: scripts/build: Remove unused scripts
(Closed)
Created 4 years, 5 months ago by hahnjo
Modified 4 years, 2 months ago
Reviewers:
Base URL:
Comments: 0