summary refs log tree commit diff
path: root/bin/man1/bibsort.1
diff options
context:
space:
mode:
authorJune McEnroe <june@causal.agency>2021-02-04 17:10:14 -0500
committerJune McEnroe <june@causal.agency>2021-02-04 17:10:55 -0500
commit7d56da628a55245403584d8f6c63af9c6ebbc6d5 (patch)
tree9fcaedd227f78f6c75960aebe28c6899f0f7b470 /bin/man1/bibsort.1
parentWarn twice about stopped jobs (diff)
downloadsrc-7d56da628a55245403584d8f6c63af9c6ebbc6d5.tar.gz
src-7d56da628a55245403584d8f6c63af9c6ebbc6d5.zip
Use owner-filter for repo page headers
Previously it was only used if owners were displayed on the index.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions
rc/commit/bin/hi.c?id=442f80f81a7f05f0669eb9a31c8809ba0949692c&follow=1'>Skip only one character if a match fails due to parentJune McEnroe Really it should skip forward until the parent changes, but this is simpler. 2019-02-10Remove pattend from hiJune McEnroe 2019-02-10Replace uses of pattend with newline patternsJune McEnroe 2019-02-10Add hi debug outputJune McEnroe 2019-02-10Actually do HTML &quot; escapingJune McEnroe 2019-02-10Set git commit.verboseJune McEnroe 2019-02-10Add back missing static keywordJune McEnroe