mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-31 23:25:09 +00:00
There's no point in having two identical types used for the same purpose in two different places.
There's no point in having two identical types used for the same purpose in two different places.