tree 9059957b6aa07b3ae68813a91a350855da5fc303
parent c8b35c6de1930f269a9b79a59d68160edf6c1a92
author David Ostrovsky <david@ostrovsky.org> 1555640718 -0700
committer David Ostrovsky <david@ostrovsky.org> 1555640758 -0700

Adapt to changed package of OutputFormat class

Change-Id: Iaecb83c71bb26576bce5cb673c78bb426e526dc9