diff options
author | juliexxia <juliexxia@google.com> | 2018-03-23 12:17:58 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-03-23 12:19:07 -0700 |
commit | 928320e5d5dfe805d7117b10a9fe0f0f510588f2 (patch) | |
tree | 75a2e5d8466ec7d10cff4cfdfa329730e735ad73 /site | |
parent | bc891adec58a6f5b9c3740f5b0131fe00d5e507f (diff) |
fix typo in blaze user manual.
PiperOrigin-RevId: 190256860
Diffstat (limited to 'site')
-rw-r--r-- | site/docs/user-manual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html index 6f6c1a693f..b3fce7d2c5 100644 --- a/site/docs/user-manual.html +++ b/site/docs/user-manual.html @@ -3040,7 +3040,7 @@ in an environment closer to the current shell environment. Note that none of the dependency graph used during the build. The query language is used by two commands: query and cquery. The major difference between the two commands is that query runs after the <a href='#loading-phase'>loading phase</a> - and cquery runs after the <a href='#analysis-phase'>analysis phase</a>. These tool are an + and cquery runs after the <a href='#analysis-phase'>analysis phase</a>. These tools are an invaluable aid to many software engineering tasks. </p> <p> |