summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Micay <danielmicay@gmail.com>2019-07-17 14:04:01 -0400
committerDaniel Micay <danielmicay@gmail.com>2019-07-17 14:04:01 -0400
commit6cd3161c1a5bc6e2024162655fb63a11e9b6384e (patch)
treefb21b6a573f9c42d52b6495302b3eb36c51e1a39
parenta45fe7606e73d5eb2dd2c9b4aca02e1b01926e19 (diff)
remove leftover label for removed example
-rw-r--r--static/build.html2
1 files changed, 0 insertions, 2 deletions
diff --git a/static/build.html b/static/build.html
index 8b0ecc6d..609b334e 100644
--- a/static/build.html
+++ b/static/build.html
@@ -274,8 +274,6 @@ git am ../*.patch</pre>
automatically by <code>repo</code>. There's no harm in running the submodule commands
for other devices as they will simply not do anything.</p>
- <p>For example, to build the kernel for marlin:</p>
-
<p>For example, to build the kernel for blueline:</p>
<pre>cd kernel/google/crosshatch