commit f69f5287aa19c08802f9633a2b8f28baea883afd
author Googler <noreply@google.com> Wed Oct 09 11:54:13 2019 -0700
committer Copybara-Service <copybara-worker@google.com> Wed Oct 09 11:55:04 2019 -0700
tree c7505a6da740b9f526f108d0980ff06e8d696e66
parent ba868542a0a2942f32cfb0aa9c87dda181455181

Fix 'remote_exeuction_properties' doc typo which appears in the build-encyclopedia.

PiperOrigin-RevId: 273790190

src/main/java/com/google/devtools/build/lib/rules/platform/PlatformRule.java

diff --git a/src/main/java/com/google/devtools/build/lib/rules/platform/PlatformRule.java b/src/main/java/com/google/devtools/build/lib/rules/platform/PlatformRule.java
index 82e2393..588642f 100644
--- a/src/main/java/com/google/devtools/build/lib/rules/platform/PlatformRule.java
+++ b/src/main/java/com/google/devtools/build/lib/rules/platform/PlatformRule.java
@@ -203,7 +203,7 @@
 </p>
 
 <p>
-  <em>Since <code>remote_exeuction_properties</code> is deprecated and will be phased out, mixing
+  <em>Since <code>remote_execution_properties</code> is deprecated and will be phased out, mixing
   <code>remote_execution_properties</code> and <code>exec_properties</code> in the same
   inheritance chain is not allowed.</em>
   Prefer to use <code>exec_properties</code> over the deprecated