summary refs log tree commit diff
path: root/home/.inputrc
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
commit8e4c63c857f9320d2eaae1ce5bdbced4ec92dbff (patch)
treee898f5b529a58eebcbe16a339c777b1db5e579ed /home/.inputrc
parentWarn twice about stopped jobs (diff)
downloadsrc-8e4c63c857f9320d2eaae1ce5bdbced4ec92dbff.tar.gz
src-8e4c63c857f9320d2eaae1ce5bdbced4ec92dbff.zip
Use owner-filter for repo page headers
Previously it was only used if owners were displayed on the index.
Diffstat (limited to 'home/.inputrc')
0 files changed, 0 insertions, 0 deletions
e='2015-08-12 15:16:05 +0200'>2015-08-12t0110: Chain together using &&Jason A. Donenfeld 2015-08-12about: always ensure page has a trailing slashJason A. Donenfeld 2015-08-12filters: apply HTML escapingLazaros Koromilas 2015-08-12git: update to v2.5.0Christian Hesse 2015-08-12Fix processing of repo.hide and repo.ignoreDaniel Reichelt