merged full_cpu.ini, system.ini and devtime.c
authorAli Saidi <saidi@eecs.umich.edu>
Mon, 2 Aug 2004 21:16:54 +0000 (17:16 -0400)
committerAli Saidi <saidi@eecs.umich.edu>
Mon, 2 Aug 2004 21:16:54 +0000 (17:16 -0400)
commit8f19fd2cbef2680a186bc101437b69514ad0bc1c
treeb2b610aeed7d20cfba05ba2acfbd3eae5f48be76
parente79dee27ce744458449b4aec9e39f297aa01d984
parent6c954de33ea598dfd356f315b3cea620acc3b8b7
merged full_cpu.ini, system.ini and devtime.c

util/ccdrv/devtime.c:
    coding style

--HG--
extra : convert_revision : 972941e100ba13a2ece0986454c4a3485841d9cb