Simon Duquennoy ccbb55de2e Enable code size optimization by default on most platforms		2017-05-16 17:47:59 +02:00
..
shell	Enable code size optimization by default on most platforms	2017-05-16 17:47:59 +02:00