diff options
| author | vaxerski <vaxerski@users.noreply.github.com> | 2023-03-09 10:55:40 +0000 |
|---|---|---|
| committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-03-09 10:55:40 +0000 |
| commit | 878fe204096d08a4dc4fa359c19120720517cf2f (patch) | |
| tree | 6f12c0609efa76064250d14e3709e1d8aea02802 /src/main.cpp | |
| parent | 5a5c41301d3efdefa412ac2f213b7643bf5dbe43 (diff) | |
[gha] build man pages
Diffstat (limited to 'src/main.cpp')
0 files changed, 0 insertions, 0 deletions