diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/internal-fs-layout.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/internal-fs-layout.md b/docs/internal-fs-layout.md index f63978f3..c0e44778 100644 --- a/docs/internal-fs-layout.md +++ b/docs/internal-fs-layout.md | |||
| @@ -141,7 +141,7 @@ Instead, you should use standard Git workflows like [git worktree] or | |||
| 141 | (e.g. a local mirror & a public review server) while avoiding duplicating | 141 | (e.g. a local mirror & a public review server) while avoiding duplicating |
| 142 | the content. However, this can run into problems if different remotes use | 142 | the content. However, this can run into problems if different remotes use |
| 143 | the same path on their respective servers. Best to avoid that. | 143 | the same path on their respective servers. Best to avoid that. |
| 144 | * `subprojects/`: Like `projects/`, but for git submodules. | 144 | * `modules/`: Like `projects/`, but for git submodules. |
| 145 | * `subproject-objects/`: Like `project-objects/`, but for git submodules. | 145 | * `subproject-objects/`: Like `project-objects/`, but for git submodules. |
| 146 | * `worktrees/`: Bare checkouts of every project synced by the manifest. The | 146 | * `worktrees/`: Bare checkouts of every project synced by the manifest. The |
| 147 | filesystem layout matches the `<project name=...` setting in the manifest | 147 | filesystem layout matches the `<project name=...` setting in the manifest |