diff linux/lrmi.h @ 3032:6de073cf52b5

oops, too much cleanup ;)
author michael
date Tue, 20 Nov 2001 18:07:13 +0000
parents f0f681ef92ff
children
line wrap: on
line diff