Branch: refs/heads/master Home: https://github.com/yi-editor/yi Commit: 36f3ec163cbabe331d321f1af0895581f4662c06 https://github.com/yi-editor/yi/commit/36f3ec163cbabe331d321f1af0895581f4662c06 Author: Jaro Reinders <noughtm...@openmailbox.org> Date: 2017-07-30 (Sun, 30 Jul 2017)
Changed paths: M yi-intero/README.md M yi-intero/package.yaml M yi-intero/src/Yi/Intero.hs Log Message: ----------- Added jump to definition -- Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel --- You received this message because you are subscribed to the Google Groups "yi.devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to yi-devel+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.