gittup/tup — pull request #137 by ppannuto (2013-08-23 01:06:56+00:00)
Title: Ignore unknown options instead of erroring out

It's hard to share configuration if tup errors out when it encounters
and unknown option. Change this to print a warning instead.