GitHub
2018-01-26 15:59:50 UTC
Branch: refs/heads/lenient-find-buffer-with-name
Home: https://github.com/yi-editor/yi
Commit: 4d54bbb9cb2c114027c68828cd3aec59bf83a89f
https://github.com/yi-editor/yi/commit/4d54bbb9cb2c114027c68828cd3aec59bf83a89f
Author: Jaro Reinders <***@gmail.com>
Date: 2018-01-26 (Fri, 26 Jan 2018)
Changed paths:
M yi-core/src/Yi/Core.hs
M yi-core/src/Yi/Editor.hs
Log Message:
-----------
Make findBufferWithName more lenient
Home: https://github.com/yi-editor/yi
Commit: 4d54bbb9cb2c114027c68828cd3aec59bf83a89f
https://github.com/yi-editor/yi/commit/4d54bbb9cb2c114027c68828cd3aec59bf83a89f
Author: Jaro Reinders <***@gmail.com>
Date: 2018-01-26 (Fri, 26 Jan 2018)
Changed paths:
M yi-core/src/Yi/Core.hs
M yi-core/src/Yi/Editor.hs
Log Message:
-----------
Make findBufferWithName more lenient
--
Yi development mailing list
yi-***@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+***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Yi development mailing list
yi-***@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+***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.