diff options
| -rw-r--r-- | docs/internal-fs-layout.md | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/docs/internal-fs-layout.md b/docs/internal-fs-layout.md index 401ebda1..f63978f3 100644 --- a/docs/internal-fs-layout.md +++ b/docs/internal-fs-layout.md | |||
| @@ -42,8 +42,12 @@ For example, if you want to change the manifest branch, you can simply run | |||
| 42 | change the git URL/branch that this tracks, re-run `repo init` with the new | 42 | change the git URL/branch that this tracks, re-run `repo init` with the new |
| 43 | settings. | 43 | settings. |
| 44 | 44 | ||
| 45 | * `.repo_fetchtimes.json`: Used by `repo sync` to record stats when syncing | 45 | * `.repo_fetchtimes.json`: Used by `repo sync` to record fetch times when |
| 46 | the various projects. | 46 | syncing the various projects. |
| 47 | |||
| 48 | * `.repo_localsyncstate.json`: Used by `repo sync` to detect and warn on | ||
| 49 | on partial tree syncs. Partial syncs are allowed by `repo` itself, but are | ||
| 50 | unsupported by many projects where `repo` is used. | ||
| 47 | 51 | ||
| 48 | ### Manifests | 52 | ### Manifests |
| 49 | 53 | ||