diff options
author | Vijay Pai <vpai@google.com> | 2018-01-11 07:47:52 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-11 07:47:52 -0800 |
commit | 262d59e07c6243bce1357091472e90060e9aa78d (patch) | |
tree | 38631c707462f1eeb426ec9380baef88db5020fe /CONTRIBUTING.md | |
parent | 7b610948a9c377df8cc503d50180acd97ab8adbe (diff) |
Update CONTRIBUTING.md
Use 2 white spaces after period for consistency with rest of document
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index c2dc4eba57..2f90ccf281 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -73,7 +73,7 @@ How to get your contributions merged smoothly and quickly. - If you are regenerating the projects using `tools/buildgen/generate_projects.sh`, make changes to generated files a - separate commit with commit message `regenerate projects`. Mixing changes + separate commit with commit message `regenerate projects`. Mixing changes to generated and hand-written files make your PR difficult to review. Note that running this script requires the installation of Python packages `pyyaml` and `mako` (typically installed using `pip`) as well as a recent |