mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-31 23:25:09 +00:00
It was Default just because the implementation could be derived at that point. Using Default no longer makes sense.
It was Default just because the implementation could be derived at that point. Using Default no longer makes sense.