diff options
| author | vaxerski <vaxerski@users.noreply.github.com> | 2022-08-22 13:16:57 +0000 |
|---|---|---|
| committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2022-08-22 13:16:57 +0000 |
| commit | 8a6e29974b4339abc868af80761849b52c98cc40 (patch) | |
| tree | fa497729249e5e60c215983107024282a5a5331e /src/main.cpp | |
| parent | 4c6d9b7d5a54741ff92e8f8ed68d5554d3c9c619 (diff) | |
[gha] build man pages
Diffstat (limited to 'src/main.cpp')
0 files changed, 0 insertions, 0 deletions