Index: docs/linux_faster_builds.md |
diff --git a/docs/linux_faster_builds.md b/docs/linux_faster_builds.md |
index 1dd601ba0c5f06eed7c8928b7e94d84a35f83480..4d04f90e2f47aa7b2cac30e7446213c9c9c1f6e5 100644 |
--- a/docs/linux_faster_builds.md |
+++ b/docs/linux_faster_builds.md |
@@ -1,4 +1,4 @@ |
-# Tips for improving build speed on Linux |
+# Tips for improving build speed on Linux |
This list is sorted such that the largest speedup is first; see |
[Linux build instructions](linux_build_instructions.md) for context and |