diff help/help_mp-de.h @ 27263:24a020de8484

Replace output redirection with grep by POSIX standard options.
author diego
date Wed, 16 Jul 2008 15:38:06 +0000
parents 44df7e647b10
children e7c989f7a7c9
line wrap: on
line diff