Re:GitUI: Terminal UI for Git
by thayne on Sunday September 18, 2022 @12:24AM
(#32884410)
I bet that size could be brought down with link time optimization, at the cost of longer build times, and potentially slower performance.
[ Parent
| on HN ]