diff help/help_mp-pl.h @ 11491:5af505348795

use the old names for 4 options
author iive
date Tue, 18 Nov 2003 01:24:23 +0000
parents d084451ee1a8
children ac69b16fed52
line wrap: on
line diff