| commit | 2198888ba1cb5e2e86dc780cc2fa4ce56a719c8f | |
| author | Enrico Tröger <enrico.troeger@uvena.de> | |
| Sat, 5 Aug 2023 21:03:59 +0000 (5 23:03 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Sat, 5 Aug 2023 21:03:59 +0000 (5 23:03 +0200) | ||
| tree | 4dee7105757b631d17cd0b9b20e7817671687810 | treesnapshot (tar.gz zip) |
| parent | cc324f401c6cc1dfa9db4b6bf6df84e7922415cd | commitdiff |
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
* 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
| scripts/changelist.pl | [deleted file] | blobblamehistory |
| scripts/cross-build-mingw.sh | [deleted file] | blobblamehistory |
| scripts/fix-alignment.pl | [deleted file] | blobblamehistory |
| scripts/fix-cxx-comments.pl | [deleted file] | blobblamehistory |
| scripts/rstrip-whitespace.py | [deleted file] | blobblamehistory |
| scripts/warning-summary.pl | [deleted file] | blobblamehistory |