diff osdep/lrmi.c @ 12586:a900f5b7ab81

More consistent naming pointed out by Torinthiel.
author diego
date Mon, 14 Jun 2004 12:40:17 +0000
parents 7a6d3ca86409
children
line wrap: on
line diff