diff options
| author | vaxerski <vaxerski@users.noreply.github.com> | 2023-03-31 12:17:19 +0000 |
|---|---|---|
| committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-03-31 12:17:19 +0000 |
| commit | 24ef5d888c648d9a89fdd12c2dbff84f1153aa67 (patch) | |
| tree | 998f07078327ac7fe92b90520fde22973c468ae7 /src/plugins | |
| parent | 5688e24b8aa7333b606963f605161c96f510c84d (diff) | |
[gha] build man pages
Diffstat (limited to 'src/plugins')
0 files changed, 0 insertions, 0 deletions