diff options
| author |  ajmichael <ajmichael@google.com> | 2017-06-21 20:24:15 +0200 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2017-06-22 12:37:40 +0200 |
| commit | e9424cf9b9d72b98594966d5ac0f15bb018ec639 (patch) | |
| tree | 551c5fabbe0f51f57c48e4e5dd499e9e61953224 /site | |
| parent | 71c6aa89d73c811c35b42096c63b6f06ea92e20e (diff) | |
Automated rollback of commit 7dec00574aa91327693f6ba7e90bff5bc834253e.
*** Reason for rollback ***
Tickled a hidden bug in Blaze query.
RELNOTES: None
PiperOrigin-RevId: 159718294
Diffstat (limited to 'site')
| -rw-r--r-- | site/docs/query.html | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/site/docs/query.html b/site/docs/query.html index 86b4318e18..5eb8885357 100644 --- a/site/docs/query.html +++ b/site/docs/query.html @@ -1225,11 +1225,6 @@ maxrank </p> <p> - Packages in external repositories are formatted as - <code>@repo//foo/bar</code> while packages in the main repository are - formatted as <code>foo/bar</code>. -</p> -<p> In conjunction with the <code>deps(...)</code> query, this output option can be used to find the set of packages that must be checked out in order to build a given set of targets. |