diff options
| author | Francisco Jerez <[email protected]> | 2013-09-16 21:44:19 -0700 |
|---|---|---|
| committer | Francisco Jerez <[email protected]> | 2013-10-21 10:47:03 -0700 |
| commit | c6e7a0d0d38d415a515f1e2ddcce5583d73d2937 (patch) | |
| tree | fe43fd746e407d02c7fa501c3a31f582010769bf /include | |
| parent | e5fc61fa3f4ef7e00d66003b7f0298f7e20b2cc3 (diff) | |
clover: Simplify the platform object by using util/range.
Tested-by: Tom Stellard <[email protected]>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions