Am 13.12.2013 um 18:10 hat Max Reitz geschrieben: > Giving a filename is actually not essential, since it can be specified > through the options as well - on the contrary: Sometimes a filename must > not be given. > > Signed-off-by: Max Reitz <[email protected]>
Reviewed-by: Kevin Wolf <[email protected]>
