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