fixed the printf("%d", int(0)) bug
[fw/sdcc] / main_in.mk
2000-01-17 michaelhInitial revision