Branch: refs/heads/master
Home: https://github.com/yi-editor/yi
Commit: 47b3498038ab96ac6ef24a6eaceb8743f42c5975
https://github.com/yi-editor/yi/commit/47b3498038ab96ac6ef24a6eaceb8743f42c5975
Author: Junji Hashimoto <[email protected]>
Date: 2018-05-24 (Thu, 24 May 2018)
Changed paths:
M yi/Main.hs
Log Message:
-----------
Use package-version to show cli-version
Commit: adf9ce71987e60362926675f04627604a87e65cf
https://github.com/yi-editor/yi/commit/adf9ce71987e60362926675f04627604a87e65cf
Author: Jaro Reinders <[email protected]>
Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths:
M CHANGELOG
Log Message:
-----------
Update CHANGELOG
Commit: f2dbc4245bf17b6b67861f801bb46c99edb07267
https://github.com/yi-editor/yi/commit/f2dbc4245bf17b6b67861f801bb46c99edb07267
Author: Jaro Reinders <[email protected]>
Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths:
M yi/Main.hs
Log Message:
-----------
Merge remote-tracking branch 'junjihashimoto/feature/version'
Commit: b7eecbc2c19fdbb0b200ef0b22515dd9a4e78bf7
https://github.com/yi-editor/yi/commit/b7eecbc2c19fdbb0b200ef0b22515dd9a4e78bf7
Author: Jaro Reinders <[email protected]>
Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths:
M yi/Main.hs
Log Message:
-----------
Use version from yi-core instead of yi
Commit: a514015e5e39403566e2cc2c51e5848e5719978a
https://github.com/yi-editor/yi/commit/a514015e5e39403566e2cc2c51e5848e5719978a
Author: Jaro Reinders <[email protected]>
Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths:
M example-configs/yi-all-static/Main.hs
Log Message:
-----------
Also use version in yi-all-static config
Compare: https://github.com/yi-editor/yi/compare/43d1c87facf0...a514015e5e39
**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
[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.
