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 /.gitattributes | |
parent | e5fc61fa3f4ef7e00d66003b7f0298f7e20b2cc3 (diff) |
clover: Simplify the platform object by using util/range.
Tested-by: Tom Stellard <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions