Merge branch 'patch-29' into 'master'
authorDavid Nind <david@davidnind.com>
Fri, 18 Oct 2019 10:26:05 +0000 (10:26 +0000)
committerDavid Nind <david@davidnind.com>
Fri, 18 Oct 2019 10:26:05 +0000 (10:26 +0000)
commitdc0803c4362b6be82edc6d851fbe83b2226a3a43
treea4dcc28617a41bb3fb3ca74ab4eeb64e63a51b9b
parent9575176b5bff3174fb98dd12dcb1015f1dff2f1b
parent6a972dd971d705fafdebe0dd85941698aa05e0db
Merge branch 'patch-29' into 'master'

Update tools.rst

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