Branch: refs/heads/split-packages
Home: https://github.com/yi-editor/yi
Commit: cab1cdd64fee231b656e52e2c3d63c13b9d72905
https://github.com/yi-editor/yi/commit/cab1cdd64fee231b656e52e2c3d63c13b9d72905
Author: Jared Hance <jaredha...@gmail.com>
Date: 2016-08-06 (Sat, 06 Aug 2016)
Changed paths:
M yi-core/package.yaml
M yi-core/src/Yi/Boot.hs
M yi-core/src/Yi/Main.hs
A yi-core/src/Yi/Option.hs
M yi/src/Main.hs
Log Message:
-----------
Make options more flexible.
Allows threading in additional options to do_args (btw, we should
rename this function, why does it have an underscore??). Later we
can move some of the options out of builtins (e.g. dyre options)
and destroy ConsoleConfig.
Commit: b0adec976ab553cabdb4b67c9620441024ecda57
https://github.com/yi-editor/yi/commit/b0adec976ab553cabdb4b67c9620441024ecda57
Author: Dmitry Ivanov <etherc...@gmail.com>
Date: 2016-08-14 (Sun, 14 Aug 2016)
Changed paths:
M yi-core/package.yaml
M yi-core/src/Yi/Boot.hs
M yi-core/src/Yi/Main.hs
A yi-core/src/Yi/Option.hs
M yi/src/Main.hs
Log Message:
-----------
Merge pull request #895 from jhance/flexible-options
Make options more flexible.
Compare: https://github.com/yi-editor/yi/compare/6f14f0074a49...b0adec976ab5
--
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.
