Johannes Rudolph eb93fe17f7 !par strip down shapeless2 to the bare minimum needed		2014-09-11 20:05:35 +02:00
..
src/main	!par strip down shapeless2 to the bare minimum needed	2014-09-11 20:05:35 +02:00