- **Patch**: countdown --> push
- **Comment**:
Patch counted down - please push to staging
---
** [issues:#5577] scripts/build: Remove unused scripts**
**Status:** Started
**Created:** Fri Oct 18, 2019 06:51 PM UTC by Jonas Hahnfeld
**Last Updated:** Mon Oct 21, 2019 03:03 PM UTC
**Owner:** Jonas Hahnfeld
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.
http://codereview.appspot.com/551100044
---
Sent from sourceforge.net because [email protected] is
subscribed to https://sourceforge.net/p/testlilyissues/issues/
To unsubscribe from further messages, a project admin can change settings at
https://sourceforge.net/p/testlilyissues/admin/issues/options. Or, if this is
a mailing list, you can unsubscribe from the mailing list.
_______________________________________________
Testlilyissues-auto mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/testlilyissues-auto
