Branch: refs/heads/master Home: https://github.com/yi-editor/yi Commit: 4f4207d8978fb21fd3fb703b96403cc5c077a4aa https://github.com/yi-editor/yi/commit/4f4207d8978fb21fd3fb703b96403cc5c077a4aa Author: Dmitry Ivanov <etherc...@gmail.com> Date: 2017-09-09 (Sat, 09 Sep 2017)
Changed paths: M yi-snippet/src/Yi/Snippet/Internal.hs Log Message: ----------- Adopt yi-rope-0.10 in yi-snippet too -- 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.