tree 4ec49b538d0c9291984649402ced0cdc2f20cf4f
parent abd90a6c30d9766fef2923152cf0cd635fb8927b
author ctiller <ctiller@google.com> 1418430513 -0800
committer Michael Lumish <mlumish@google.com> 1418682508 -0800

Binary header encoding.

Also fixes a rather embarrassing bug in bin_encoder.c.
	Change on 2014/12/12 by ctiller <ctiller@google.com>
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=82024795