diff help/help_mp-el.h @ 14575:31ae29e095b6

Remove obsolete options.
author diego
date Sat, 22 Jan 2005 15:47:34 +0000
parents c012194ba7d7
children 06baf147a638
line wrap: on
line diff