gaugendre 38f0ee78b2 Switch to lambda		2015-06-04 23:40:48 +02:00
..
main	Switch to lambda	2015-06-04 23:40:48 +02:00