diff osdep/lrmi.c @ 10374:968df1ea2a46

sync
author nicolas
date Sat, 05 Jul 2003 09:45:08 +0000
parents edfe34c5405d
children 608666e629b2
line wrap: on
line diff