Tim Peters discovered a bug in the Python-supplied getopt():
it doesn't recognize a lone dash as a non-flag argument. Now it does.
G
Guido van Rossum committed
2adac0a6377ce9779f2db7ba05f3769e30a7a5a6
Parent: 8037cb1
it doesn't recognize a lone dash as a non-flag argument. Now it does.