Merge - minor updates to system preferences
authorDavid Nind <david@davidnind.com>
Thu, 14 Nov 2019 23:46:48 +0000 (12:46 +1300)
committerDavid Nind <david@davidnind.com>
Thu, 14 Nov 2019 23:46:48 +0000 (12:46 +1300)
commite0be8b7c216dcc6c3dce2903fa3e5003d30d7f0e
treebd601ad932359e50241f0adb7c0b8a2b28b99cf2
parent1239b6f4cbe952d6be66dfe9e0187878f8db0582
parent3d0d94c8abe2b346b69749eb40d032aae312cf60
Merge - minor updates to system preferences

Minor updates and tidy ups from previous changes to
systempreferences.rst