Skip to content
Snippets Groups Projects
Commit 568dadd8 authored by Jorrit Schaap's avatar Jorrit Schaap
Browse files

Task #8887: removed obsolete cmdline options

parent fc7d4a10
No related branches found
No related tags found
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment