comparison linux/lrmi.h @ 7853:974f7756c7e0

cosmetics
author pontscho
date Tue, 22 Oct 2002 22:31:19 +0000
parents f0f681ef92ff
children
comparison
equal deleted inserted replaced
7852:e4f87bbf682c 7853:974f7756c7e0