Branch: refs/heads/master Home: https://github.com/yi-editor/yi Commit: 7471738c0f94ac63448ee2ba74c9bbacfacf72ef https://github.com/yi-editor/yi/commit/7471738c0f94ac63448ee2ba74c9bbacfacf72ef Author: Dmitry Ivanov <etherc...@gmail.com> Date: 2017-09-05 (Tue, 05 Sep 2017)
Changed paths: M yi-core/package.yaml R yi-core/src/Yi/Main.hs R yi-core/src/Yi/Option.hs M yi-dynamic-configuration/package.yaml A yi-dynamic-configuration/src/Yi/Main.hs A yi-dynamic-configuration/src/Yi/Option.hs Log Message: ----------- Move dynamic Yi.Main from yi-core to yi-dynamic-configuration -- 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.