ignore
commitf699158db38d691164c2202ab00139c308f87384
authorThomas M. DuBuisson <tommd@galois.com>
dateWed 14 Nov 2018, 12:33 (8 years ago)
parentefa8ad9
.gitignorenew file+2
@@ -0,0 +1,2 @@
1+dist
2+dist-newstyle
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