summaryrefslogtreecommitdiff
path: root/Tools/scripts/patchtool.py
diff options
context:
space:
mode:
authorMaxim Sobolev <sobomax@FreeBSD.org>2001-07-31 06:35:03 +0000
committerMaxim Sobolev <sobomax@FreeBSD.org>2001-07-31 06:35:03 +0000
commitd2911a79af558061d6eaab3572b421e41f61a302 (patch)
treebd706dd34428c119bcb1e6d16f2c9f8f1a75cf2a /Tools/scripts/patchtool.py
parent- Upgrade to 1.3.20. (diff)
Put back GNU_CONFIGURE, which I managed to delete somehow in my previous
commit. This should fix the port. Submitted by: Marcus Henschel <marcus@huehnerhund.ath.cx>
Diffstat (limited to 'Tools/scripts/patchtool.py')
0 files changed, 0 insertions, 0 deletions