Merge pull request #1332 from purescript/bump-0.7.2
Bump to 0.7.2
commit324a8e99d38bf5fc91b7e59350ade5af87563a8c
authorGary Burgess <gary.burgess@gmail.com>
dateTue 4 Aug 2015, 00:52 (11 years ago)
parent4346d4f7f885ad
purescript.cabal+1−1
@@ -1,5 +1,5 @@
11name: purescript
2−version: 0.7.1.0
2+version: 0.7.2.0
33cabal-version: >=1.8
44build-type: Simple
55license: MIT
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list