* device/lib/pic16/libc/stdio/vfprintf.c,
[fw/sdcc] / device / lib / pic / GPL
2005-09-23 tecodev* configure.in, configure: have device/lib/pic configured