Benjamin Sago e9e1161cec Split up the options module ... The original options was becoming a bit unwieldy, and would have been even more so if I added the same amount of comments. So this commit splits it up. There's no extra hiding going on here, or rearranging things within the module: (almost) everything now has to be marked 'pub' to let other sub-modules in the new options module to see it.		2016-04-17 20:38:37 +01:00
..
dir_action.rs	Split up the options module	2016-04-17 20:38:37 +01:00
filter.rs	Split up the options module	2016-04-17 20:38:37 +01:00
help.rs	Split up the options module	2016-04-17 20:38:37 +01:00
misfire.rs	Split up the options module	2016-04-17 20:38:37 +01:00
mod.rs	Split up the options module	2016-04-17 20:38:37 +01:00
view.rs	Split up the options module	2016-04-17 20:38:37 +01:00