* device/lib/time.c (mktime): fixed bug reported by Bert Thomas
[fw/sdcc] / README
1 This file is depreciated.  Please see doc/README.txt.