idris-hackers/idris-vim — pull request #21 by victoredwardocallaghan (2014-10-16 08:39:33+00:00)
Title: doc/idris-vim.txt: Document <LocalLeader>h call

Signed-off-by: Edward O'Callaghan