Benedict Reuschling e74fe876b5 Document the device name change from gpioctl to gpioc in the ... man page. PR: docs/157075 Submitted by: brix Reviewed by: gonzo		2011-05-25 20:25:13 +00:00
..
gpioctl.8	Document the device name change from gpioctl to gpioc in the	2011-05-25 20:25:13 +00:00
gpioctl.c
Makefile