diff options
| author | Michael Muré <batolettre@gmail.com> | 2021-04-23 09:32:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-23 09:32:17 +0200 |
| commit | 5f0a39d8d878e89e485e3a8d9cd4b7aceabf62da (patch) | |
| tree | 6b66a5aa6c41a23a1f50c2caa8627d3a644018e0 /doc/man | |
| parent | 01b267fa917a460f4aba514493fcfdbc57f48f67 (diff) | |
| parent | 7a7a402649b40de0eeb73cc60a252a2f29a9f621 (diff) | |
| download | git-bug-5f0a39d8d878e89e485e3a8d9cd4b7aceabf62da.tar.gz | |
Merge pull request #645 from MichaelMure/github-fix-ci
github: attempt to fix a CI issue
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions