9 unicode_collation: false
15# to be replaced eventually by pandoc-types-1.21:
16- git: https://github.com/jgm/pandoc-types
17 commit: dd50a6eaeaf63773bbf04d6ef34b86d6f92b7825
18- git: https://github.com/jgm/pandoc-citeproc
19 commit: 2e6fe791ec5293acc925c2ccbe79c9c10d2b7e07
21- haddock-library-1.9.0
23- skylighting-core-0.8.4
24- regex-pcre-builtin-0.95.1.2.8.43
29- jira-wiki-markup-1.3.0
34 "$locals": -fhide-source-paths -Wno-missing-home-modules
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