diff help/help_mp-ro.h @ 23728:3c2d3fadf94f

Leave out (no) prefix from option names for consistency.
author diego
date Mon, 09 Jul 2007 14:58:50 +0000
parents 7c870bf2970d
children 989aa2e9685f
line wrap: on
line diff