diff options
| author | h4waii <30473690+h4waii@users.noreply.github.com> | 2019-09-25 21:36:20 -0600 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2019-09-25 23:44:44 -0400 |
| commit | 8a27b831405062a742bee6ede52018fdad67a307 (patch) | |
| tree | 4caef416afd87d57d6dceefbeff07e4bb7870daf | |
| parent | 07d6378fda892e56ed9cb8264b9f45ab1696b8c1 (diff) | |
Update build.html
Extra 'from' in this sentence
| -rw-r--r-- | static/build.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/static/build.html b/static/build.html index 1dfb9f03..3bef8a5a 100644 --- a/static/build.html +++ b/static/build.html @@ -255,7 +255,7 @@ cd ../..</pre> <p>To update the source tree, run the <code>repo init</code> command again to select the branch or tag and then run <code>repo sync -j32</code> again. You may need to add - <code>--force-sync</code> if a repository from switched from one source to another, + <code>--force-sync</code> if a repository switched from one source to another, such as when GrapheneOS forks an additional Android Open Source Project repository. You don't need to start over to switch between different branches or tags. You may need to run <code>repo init</code> again to continue down the same branch since |