diff options
| author | Jonas Schievink <[email protected]> | 2021-05-24 14:35:46 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-05-24 14:35:46 +0100 |
| commit | 533e9207d39c27dc22de2645fc65891189a71739 (patch) | |
| tree | aeb89306e864bff3fc612d26ab6242a75b3e3885 /docs/user | |
| parent | 8ebb8d29e18d7cb18bd2b57b004dcecd65a96232 (diff) | |
Intern `GenericArgs`
This shaves off another ~4 mb or so
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions