mirror of
https://github.com/martinvonz/jj.git
synced 2024-12-28 23:55:54 +00:00
fb8fbdc4b3
This patch makes it so the workspace ID can be stored in `.jj/working_copy/checkout`. The workspace ID is still always "default". |
||
---|---|---|
.. | ||
op_store.proto | ||
store.proto | ||
working_copy.proto |