]> git.immae.eu Git - github/shaarli/Shaarli.git/commit
Merge pull request #1057 from shaarli/doc-derefind
authornodiscc <nodiscc@gmail.com>
Thu, 18 Jan 2018 19:49:20 +0000 (20:49 +0100)
committerGitHub <noreply@github.com>
Thu, 18 Jan 2018 19:49:20 +0000 (20:49 +0100)
commitbc55e9479517890213ac439df6ddb720b8b8a5f3
tree659e46e7215922ce085a278e19b90aeba9baffbf
parent26c5b1bca6ea7d88dda6ecbf08259c8f90f5d32b
parenta52d39dafb132ee1a28d0de3c36bbdc66b94fd67
Merge pull request #1057 from shaarli/doc-derefind

doc: import: add link to derefind conversion tool