projects / kohadocs.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1239b6f 3d0d94c)
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)
Minor updates and tidy ups from previous changes to
systempreferences.rst


Trivial merge
Mirror of Koha documentation repository