* device/lib/ds400/tinibios.c, device/lib/hc08/_divuint.c,
[fw/sdcc] / device / lib / incl.mk
1 MODELS = small medium large