Propertize docstring comments correctly#656

ReilySiegel wants to merge 1 commit intoidris-hackers:mainidris-hackers/idris-mode:mainfrom

ReilySiegel:docstringReilySiegel/idris-mode:docstringCopy head branch name to clipboard