diff help/help_mp-it.h @ 11287:5fde9e4e1d17

_ --> - in option names
author wight
date Mon, 27 Oct 2003 07:14:32 +0000
parents 3467c7902fe1
children 94fbd52a0b53
line wrap: on
line diff