-
Committer:
Tim Lunn
-
Date:
2018-05-13 03:14:04 UTC
-
Revision ID:
tim@feathertop.org-20180513031404-n3079vg7a5l98hlx
shown in gnome-control-center (LP: #1770909)
* Switch mouse modifier button to <super> in line with upstream GNOME
and also Ubuntu, as <alt> conflicts with various apps (LP: #1704580)