projects / kohadocs.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4525c18 3bbfdbe)
Merge branch 'patch-25' into 'master'
authorDavid Nind <david@davidnind.com>
Fri, 11 Oct 2019 08:43:25 +0000 (08:43 +0000)
committerDavid Nind <david@davidnind.com>
Fri, 11 Oct 2019 08:43:25 +0000 (08:43 +0000)
Update tools.rst

See merge request koha-community/koha-manual!269


Trivial merge
Mirror of Koha documentation repository