mirror of
https://github.com/martinvonz/jj.git
synced 2024-12-27 14:57:14 +00:00
d42e6c77b2
"Jujutsu" is probably much more familiar and relatable to most people. Also, I'm still not sure how "jujube" is supposed to be pronounced :P |
||
---|---|---|
.. | ||
diff_bench.rs |