diff options
author | Rustan Leino <unknown> | 2014-07-15 16:44:00 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2014-07-15 16:44:00 -0700 |
commit | 30cd666db7142297b7cd627cad34243b76e7291a (patch) | |
tree | 7d3155ede7a8ea29b4d5cb552fcbab64deabb374 /Test/cloudmake | |
parent | 3d81de6e45e1a82931cd09442cb88458c86094e8 (diff) |
Allow an arbitrary-type to take type parameters
Diffstat (limited to 'Test/cloudmake')
0 files changed, 0 insertions, 0 deletions