Branch: refs/heads/master
Home: https://github.com/yi-editor/yi
Commit: ffac968a63929e808c70d23163b9840a49ff1560
https://github.com/yi-editor/yi/commit/ffac968a63929e808c70d23163b9840a49ff1560
Author: Grégoire <gpons...@protonmail.com>
Date: 2018-04-25 (Wed, 25 Apr 2018)
Changed paths:
M yi-core/src/Yi/Paths.hs
M yi-ireader/src/Yi/IReader.hs
Log Message:
-----------
Fix #1058
Commit: 65012441eec56a8a431810c0835dd183c6f5eff2
https://github.com/yi-editor/yi/commit/65012441eec56a8a431810c0835dd183c6f5eff2
Author: Jaro Reinders <noughtm...@users.noreply.github.com>
Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths:
M yi-core/src/Yi/Paths.hs
M yi-ireader/src/Yi/IReader.hs
Log Message:
-----------
Merge pull request #1076 from mpwp/master
Fix #1058
Compare: https://github.com/yi-editor/yi/compare/ed9c2020a7f1...65012441eec5
**NOTE:** This service been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
--
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.
