Branch: refs/heads/master
Home: https://github.com/yi-editor/yi
Commit: b926d7332abff40e9faf5f28eb96e40c8657f20c
https://github.com/yi-editor/yi/commit/b926d7332abff40e9faf5f28eb96e40c8657f20c
Author: Dmitry Ivanov <[email protected]>
Date: 2014-06-13 (Fri, 13 Jun 2014)
Changed paths:
M yi/src/library/Yi/Interact.hs
M yi/src/library/Yi/Keymap.hs
M yi/src/library/Yi/Keymap.hs-boot
Log Message:
-----------
Remove PEq class. I fail to see how it's different from Eq.
Commit: 86beb67780e0ec83a74f0dbbabe5c6a35b158535
https://github.com/yi-editor/yi/commit/86beb67780e0ec83a74f0dbbabe5c6a35b158535
Author: Dmitry Ivanov <[email protected]>
Date: 2014-06-15 (Sun, 15 Jun 2014)
Changed paths:
M yi/src/library/Yi/Interact.hs
M yi/src/library/Yi/Keymap.hs
M yi/src/library/Yi/Keymap.hs-boot
Log Message:
-----------
Merge pull request #558 from ethercrow/remove-peq-class
Remove PEq class. I fail to see how it's different from Eq.
Compare: https://github.com/yi-editor/yi/compare/d5ac83f137e8...86beb67780e0
--
--
Yi development mailing list
[email protected]
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 [email protected].
For more options, visit https://groups.google.com/d/optout.
