summaryrefslogtreecommitdiff
path: root/Test/cloudmake
diff options
context:
space:
mode:
authorGravatar Rustan Leino <unknown>2014-07-15 16:44:00 -0700
committerGravatar Rustan Leino <unknown>2014-07-15 16:44:00 -0700
commit30cd666db7142297b7cd627cad34243b76e7291a (patch)
tree7d3155ede7a8ea29b4d5cb552fcbab64deabb374 /Test/cloudmake
parent3d81de6e45e1a82931cd09442cb88458c86094e8 (diff)
Allow an arbitrary-type to take type parameters
Diffstat (limited to 'Test/cloudmake')
0 files changed, 0 insertions, 0 deletions