diff osdep/lrmi.c @ 12916:b355edf73071

These files are long obsolete.
author diego
date Fri, 30 Jul 2004 11:08:58 +0000
parents 7a6d3ca86409
children
line wrap: on
line diff