diff osdep/lrmi.h @ 9661:5e997c2d2db1

This file only belongs on the web page and needs no translation.
author diego
date Sun, 23 Mar 2003 12:26:22 +0000
parents edfe34c5405d
children
line wrap: on
line diff