diff osdep/lrmi.h @ 10068:b3ce60d238c4

Updates and a small patch provided by Bohdan Horst.
author diego
date Mon, 05 May 2003 02:33:49 +0000
parents edfe34c5405d
children
line wrap: on
line diff