aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2016-10-31 15:09:34 +0100
committerMartin Odersky <odersky@gmail.com>2016-10-31 15:09:34 +0100
commit8b10844da492292d1fd70bf94f639fe70f88fcd2 (patch)
treec1880e7a90b0f8dd2827a0225ec8ad7476afc239 /.gitignore
parent0fd8804b3a2ce9a2099a3d7c1b756fec637f9d1c (diff)
downloaddotty-8b10844da492292d1fd70bf94f639fe70f88fcd2.tar.gz
dotty-8b10844da492292d1fd70bf94f639fe70f88fcd2.tar.bz2
dotty-8b10844da492292d1fd70bf94f639fe70f88fcd2.zip
Eliminate LAMBDAtype from TASTYformat
Merge with POLYtypem, as we do already for internal types.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions