diff options
| author | Matt Turner <[email protected]> | 2015-07-12 18:01:54 -0700 |
|---|---|---|
| committer | Matt Turner <[email protected]> | 2015-07-29 09:34:52 -0700 |
| commit | b568a5f6a8c6bb07b27e9badce01a8a73ba56c03 (patch) | |
| tree | a1dca744fec47f964b96a9c5c810c2a48de3b948 /src/util/Makefile.am | |
| parent | 29ef7a9f19265308e7852c0f8920e0f520f08df3 (diff) | |
util: Avoid double promotion.
Reviewed-by: Iago Toral Quiroga <[email protected]>
Diffstat (limited to 'src/util/Makefile.am')
0 files changed, 0 insertions, 0 deletions