diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-07-27 23:12:18 +0200 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-07-27 23:12:18 +0200 |
| commit | e102f9ec8ca1683792abeabb8f2072a03abdec90 (patch) | |
| tree | dab8f3218f733753657c2ea50237292bb9065547 /src/managers | |
| parent | ee15ad12154fc5c33e725a0f46d72bdef5945906 (diff) | |
remove make man
Diffstat (limited to 'src/managers')
0 files changed, 0 insertions, 0 deletions