Gregory Nutt 2b23d4b0e7 Correct some comments

2016-08-06 16:25:02 -06:00

..

include

Fix up a few remaining incorrect CONFIG_GPIO_IRQ

2016-07-22 15:01:00 -06:00

src

Correct some comments

2016-08-06 16:25:02 -06:00

Kconfig

…