diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-04-03 20:11:14 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-04-03 20:11:14 +0200 |
| commit | e35d83d1fc45f6c10fbd96462cee48016aa1497c (patch) | |
| tree | 65f9942a5a58293895909dd4fe82c00102a6431b /doc/manual | |
| parent | bf70a047a0b2da606f65a88f13ce2994065cd9c4 (diff) | |
Fix job name
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions