| 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
|
|
|