MVMartin von Zweigbergkcolocation: rename from "colocated repo" to "colocated workspace"b409aa31 year agoHistory

Name	Last commit message	Last commit date
..
architecture.md	view: rename workspace "id" to "name"	1 year ago
concurrency.md	colocation: rename from "colocated repo" to "colocated workspace"	1 year ago
conflicts.md	files, tree: make same-change conflict resolution configurable	1 year ago
types.svg	docs: update types diagram to reflect rename of `LocalBackend` to `SimpleBackend`	1 year ago