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