commit | 88c4bc33d22c2f292044e05f97dd772a4dd9134d | [log] [tgz] |
---|---|---|
author | Philip Miller <philip.miller@sri.com> | Wed Oct 05 15:04:08 2016 -0400 |
committer | Philip Miller <philip.miller@sri.com> | Wed Oct 05 15:04:08 2016 -0400 |
tree | ed836b9c05c2d99ee38fce9ca90f863153c21e77 | |
parent | cee50b7572e4416f5aa7a2a6068543c1e5cd04a9 [diff] |
Document use of format_arg for user-defined type