comparison osdep/lrmi.c @ 15599:d888cb42bc87

small fixes
author diego
date Tue, 31 May 2005 20:27:59 +0000
parents 7a6d3ca86409
children
comparison
equal deleted inserted replaced
15598:a21fbd1ecd2d 15599:d888cb42bc87