diff linux/lrmi.c @ 3721:66da035c4ee2

some quick updates for the prerelease
author gabucino
date Mon, 24 Dec 2001 23:00:07 +0000
parents f0f681ef92ff
children
line wrap: on
line diff