diff osdep/lrmi.h @ 16019:1307465ee8ff

When using --enable-* options you are on your own.
author reimar
date Wed, 20 Jul 2005 07:40:15 +0000
parents edfe34c5405d
children
line wrap: on
line diff