Differences
This shows you the differences between the selected revisions of the page.
| 2013-12-20 | 2013-12-20 | ||
| redirecting obsoleted login pages (martin) | ui_login_preferences better redirects to ui_pref_interface (martin) | ||
| Line 26: | Line 26: | ||
| ui_login_stored_sessions ui_login | ui_login_stored_sessions ui_login | ||
| ui_login_logging ui_pref_logging | ui_login_logging ui_pref_logging | ||
| - | ui_login_preferences ui_preferences | + | ui_login_preferences ui_pref_interface |