]> arthur.barton.de Git - bup.git/search
options.py: get rid of end-of-line whitespace.