Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove obsolete helper scripts (#3486)
* Remove obsolete helper scripts scripts/changelist.pl: process ChangeLog which we do not use anymore scripts/cross-build-mingw.sh: old cross build script, replaced by #3315 scripts/rstrip-whitespace.py: probably unused scripts/fix-alignment.pl scripts/fix-cxx-comments.pl scripts/warning-summary.pl
- Loading branch information