5 ms·
This thread inspired me—I found a way to remove 40K: https://github.com/clap-rs/clap/pull/3370 https://github.com/clap-rs/clap/pull/3370 I'm sure it's possible
by duckerude 5y ago
This thread inspired me—I found a way to remove 40K: https://github.com/clap-rs/clap/pull/3370 https://github.com/clap-rs/clap/pull/3370
I'm sure it's possible to cut it more. It'll never be tiny, but it can be smaller than it is now.