Gregory Nutt b2764a9e4b graphicx/nxmu: nx_server() should be static.		2017-11-25 06:54:13 -06:00
..
board.h	graphicx/nxmu: nx_server() should be static.	2017-11-25 06:54:13 -06:00