Commit 798bb89c969288704c1cc534192eac9e6339d66a

Behdad Esfahbod 2021-08-06T23:29:29

[util] Move shape format options into shape-format.hh