Johan Holmberg 2fa102ca2c Relax rules for command line options.
Now an option can be placed *after* file arguments.
2009-05-09 11:47:04 +00:00
..