diff osdep/lrmi.c @ 11287:5fde9e4e1d17

_ --> - in option names
author wight
date Mon, 27 Oct 2003 07:14:32 +0000
parents 608666e629b2
children 5084f09ba20e
line wrap: on
line diff