diff options
author | Googler <noreply@google.com> | 2017-06-07 12:29:51 -0400 |
---|---|---|
committer | John Cater <jcater@google.com> | 2017-06-08 10:52:19 -0400 |
commit | 456b6ab7774a34b3881415d5c284d66d1ce424f0 (patch) | |
tree | a678753012129e0ddb927563dc693d8430c0825b /site/docs/build-ref.html | |
parent | 20db4bb74c749804592b40a27ba0a3a2731d13eb (diff) |
Missed updating this title when changing the name of this section in previous change.
PiperOrigin-RevId: 158278265
Diffstat (limited to 'site/docs/build-ref.html')
-rw-r--r-- | site/docs/build-ref.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/docs/build-ref.html b/site/docs/build-ref.html index ae0d19fb3a..f5d238ba9d 100644 --- a/site/docs/build-ref.html +++ b/site/docs/build-ref.html @@ -1,6 +1,6 @@ --- layout: documentation -title: BUILD files +title: Concepts and Terminology --- <h1>Concepts and Terminology</h1> <p> |