mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-13 19:24:25 +00:00
Since I'm going to remove the root symbol, it doesn't make sense to leave @ in the priority list.
Since I'm going to remove the root symbol, it doesn't make sense to leave @ in the priority list.