diff osdep/lrmi.h @ 15861:08919136d33e

one more nick
author diego
date Thu, 30 Jun 2005 09:04:15 +0000
parents edfe34c5405d
children
line wrap: on
line diff