diff osdep/lrmi.c @ 10202:f586be782e69

sync
author nicolas
date Thu, 29 May 2003 13:17:47 +0000
parents edfe34c5405d
children 608666e629b2
line wrap: on
line diff