Code

Remove documentation relicts from before the option parsing was changed
authorJonas Fonseca <fonseca@diku.dk>
Fri, 10 Oct 2008 19:30:16 +0000 (21:30 +0200)
committerJonas Fonseca <fonseca@diku.dk>
Fri, 10 Oct 2008 19:30:16 +0000 (21:30 +0200)
commit2476a6d79f9f26b24a7326ffe067a32ca058ddf9
treeccb2155b99112abd7b511562a32eb04d5899f08e
parentc172297d0b826513f4e05786aa874bceafc484bd
Remove documentation relicts from before the option parsing was changed
manual.txt