Merge pull request #514 from google/change_HEAD

Project import generated by Copybara.
This commit is contained in:
Isaac Good 2020-02-11 11:25:26 -08:00 committed by GitHub
commit d9e72e63a9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -27,10 +27,6 @@ Authored, revised and maintained by many Googlers.
* [3.1 STDOUT vs STDERR](#s3.1-stdout-vs-stderr)
- [4 Comments](#s4-comments)
* [4.1 File Header](#s4.1-file-header)
+ [4.1.1 $Id$](#s4.1.1-id)
+ [4.1.2 $Id$ Pros](#s4.1.2-id-pros)
+ [4.1.3 $Id$ Cons](#s4.1.3-id-cons)
+ [4.1.4 $Id$ Decision](#s4.1.4-id-decision)
* [4.2 Function Comments](#s4.2-function-comments)
* [4.3 Implementation Comments](#s4.3-implementation-comments)
* [4.4 TODO Comments](#s4.4-todo-comments)