From: nodiscc Date: Thu, 18 Jan 2018 19:49:20 +0000 (+0100) Subject: Merge pull request #1057 from shaarli/doc-derefind X-Git-Tag: v0.9.4~9 X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=bc55e9479517890213ac439df6ddb720b8b8a5f3;hp=-c;p=github%2Fshaarli%2FShaarli.git Merge pull request #1057 from shaarli/doc-derefind doc: import: add link to derefind conversion tool --- bc55e9479517890213ac439df6ddb720b8b8a5f3