Martin von Zweigbergk fb8fbdc4b3 working_copy: keep track of workspace ID (#13) ... This patch makes it so the workspace ID can be stored in `.jj/working_copy/checkout`. The workspace ID is still always "default".		2022-02-02 08:15:22 -08:00
..
op_store.proto	op_store: add support for tracking multiple workspaces (#13)	2022-02-02 08:15:22 -08:00
store.proto	backend: remove unused Commit::is_pruned (#32)	2021-10-06 23:53:15 -07:00
working_copy.proto	working_copy: keep track of workspace ID (#13)	2022-02-02 08:15:22 -08:00