equal
deleted
inserted
replaced
1 import os, getopt |
1 import os, getopt |
2 |
2 |
3 def fancyopts(args, options, state, syntax='', minlen = 0): |
3 def fancyopts(args, options, state): |
4 long=[] |
4 long=[] |
5 short='' |
5 short='' |
6 map={} |
6 map={} |
7 dt={} |
7 dt={} |
8 |
8 |