Viewing all changes in revision 1532.
- Committer: Rico Tzschichholz
- Date: 2016-03-09 08:46:17 UTC
- Revision ID: ricotz@ubuntu.com-20160309084617-3gw8kcvkbzl7ll5b
preferenceswindow: Hide "auto-pinning" setting
- files modified:
- data/ui/preferences.ui
expand all
collapse all
added
removed
