diff linux/lrmi.c @ 5624:d9af91d38449

workaround Juanjo's stupid vme change
author arpi
date Sun, 14 Apr 2002 23:16:55 +0000
parents f0f681ef92ff
children
line wrap: on
line diff