ide: introduce HAVE_IDE
This page took 0.096848 seconds and 4 git commands to generate.