diff options
| author | Jannis M. Hoffmann <jannis@fehcom.de> | 2023-10-10 22:42:27 +0200 |
|---|---|---|
| committer | Jannis M. Hoffmann <jannis@fehcom.de> | 2023-10-10 22:42:27 +0200 |
| commit | cc8b0c0a7061a0b674077d58c28cd1ba4d3eafc1 (patch) | |
| tree | d9d6a764d4da857b5e9742f0fb8c9b526df0d766 /doc/OLD | |
| parent | e96321af67185460f917846b6f55f96d108c6ba8 (diff) | |
turn ArgOpts into an aggregate
Diffstat (limited to 'doc/OLD')
0 files changed, 0 insertions, 0 deletions