Gregory Nutt b0c1b7ef47 Rename uip_poll->devif_poll and uip_timer->devif_timer		2014-06-30 18:40:41 -06:00
..
include	More trailing whilespace removal	2014-04-13 16:22:22 -06:00
src	Rename uip_poll->devif_poll and uip_timer->devif_timer	2014-06-30 18:40:41 -06:00
Kconfig	Kconfigs: Interrupt prioritization should not be automatically selected	2013-12-20 08:42:54 -06:00