Viewing all changes in revision 1210.
- Committer: Dmitry V. Levin
- Date: 2021-05-27 01:13:22 UTC
- Revision ID: git-v1:d921e502745c91ba19be7da664bebb5fa0be6bf3
Remove automatic patch generators
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.
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.
- files removed:
- patch-1.gawk
expand all
collapse all
added
removed
