summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:16:14 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:16:14 -0700
commit5c77b675b5957d33de2e6c83481c55e9bbc32902 (patch)
tree64d3ccc9c4c282496f8681b5a753fccc09553ba5 /man
parentb467630d73974200456f472a58bf9dab5eea1be0 (diff)
Add GitHub actions CI.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions