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