* device/include/typeof.h: fixed bug #1747142: typeof.h needs fixing
[fw/sdcc] / device / include / stdint.h
2005-04-06 maartenbrock* device/include/stdarg.h: changed SDCC specific keywor...
2005-03-17 maartenbrock* device/include/stdint.h: added