summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
52bbc04)
__date__ = "$Date$"[7:-2]
__revision__ = "$Id$"[5:-2]
__date__ = "$Date$"[7:-2]
__revision__ = "$Id$"[5:-2]
def usage(code=0):
sys.stderr.write("Usage: %s [-0|--null] [-o|--old] [-w|--width] [width]\n" % sys.argv[0])
sys.exit(code)
def usage(code=0):
sys.stderr.write("Usage: %s [-0|--null] [-o|--old] [-w|--width] [width]\n" % sys.argv[0])
sys.exit(code)