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 | ||