[PATCH 0 of 5] Marking command line options for translation

[Benoit Boissinot]

On Sat, Sep 6, 2008 at 4:36 PM, Martin Geisler <mg at daimi.au.dk> wrote:
> Hi,
>
> I found some help strings for command line options which were not yet
> marked for translation.

Pushed to crew, thanks.

Benoit