mirror of
git://git.savannah.gnu.org/config.git
synced 2025-07-11 13:43:40 +12:00
d921e502745c91ba19be7da664bebb5fa0be6bf3

These tools have served their purposes and need not be kept outside of the repository history any longer. This patch as a diff also collects the contents of the various tools in one convenient place. * patch-1.gawk: Remove. * patch-3.gawk: Likewise. * patch-6.gawk: Likewise.
Description
No description provided
Languages
Perl
77.6%
Shell
18.9%
Makefile
3.5%