Merge pull request #344 from rw/py-builder-ergonomics
authorWouter van Oortmerssen <wvo@google.com>
Mon, 16 Nov 2015 17:07:31 +0000 (09:07 -0800)
committerWouter van Oortmerssen <wvo@google.com>
Mon, 16 Nov 2015 17:07:31 +0000 (09:07 -0800)
commitf7d465f99094d19f326a6707e542436364859e89
treec4280d7aa47c730cb6ca4ca4315aaa669252a0e0
parent3f1c4b41f650a5d4e9f89f606f01ba0a6a164029
parent3232727ace325e8cb2732cf208e6d902a1160454
Merge pull request #344 from rw/py-builder-ergonomics

Python: Improve Builder user interface.