Differences
This shows you the differences between the selected revisions of the page.
2013-12-20 | 2014-01-07 | ||
ui_login_preferences better redirects to ui_pref_interface (martin) | redirecting far pages to fm_plugins#far (martin) | ||
Line 27: | Line 27: | ||
ui_login_logging ui_pref_logging | ui_login_logging ui_pref_logging | ||
ui_login_preferences ui_pref_interface | ui_login_preferences ui_pref_interface | ||
+ | far fm_plugins#far | ||
+ | far_history fm_plugins#far | ||
+ | far_history_old fm_plugins#far | ||