]> granicus.if.org Git - python/commit
fix handling when a proper getopt(1) is available; the "--"
authorFred Drake <fdrake@acm.org>
Tue, 29 Jun 2004 14:39:06 +0000 (14:39 +0000)
committerFred Drake <fdrake@acm.org>
Tue, 29 Jun 2004 14:39:06 +0000 (14:39 +0000)
commit96b935e6435ea9928f3a11732d07ecfbb9a671d1
treeaecc0e71742134fcbbd28a71689d292256ae271f
parent93b4b88e960d5868ca2c0a109a74e1a8e06d3348
fix handling when a proper getopt(1) is available; the "--"
end-of-options marker wasn't recognized
Doc/tools/push-docs.sh