-
Simon Morlat authored
Enable tools by default on desktop. The time to build them is negligeable, and this is important that they are not broken by changes in the apis.
1692db3f
Enable tools by default on desktop. The time to build them is negligeable, and this is important that they are not broken by changes in the apis.