diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:57:45 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:57:45 -0700 |
| commit | 76ddef4b1bb6d95bb77d267e76d5647e68c8aae2 (patch) | |
| tree | dd156003b7ad40ca5dd623c989c6b0f6b36e0aaf /man | |
| parent | 2a42369f4233b092392d75dbc2c539a481a8cb03 (diff) | |
Add CI badge.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions