summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:57:45 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:57:45 -0700
commit76ddef4b1bb6d95bb77d267e76d5647e68c8aae2 (patch)
treedd156003b7ad40ca5dd623c989c6b0f6b36e0aaf /man
parent2a42369f4233b092392d75dbc2c539a481a8cb03 (diff)
Add CI badge.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions