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/?p=github%2Fshaarli%2FShaarli.git;a=commitdiff_plain;h=bc55e9479517890213ac439df6ddb720b8b8a5f3 Merge pull request #1057 from shaarli/doc-derefind doc: import: add link to derefind conversion tool --- bc55e9479517890213ac439df6ddb720b8b8a5f3