tree d1e67d4d51a03a598b3e96a16bb55322b376c892
parent 28623635035fe6a4a69e2bdb2efa68b04f404ece
author Liam Miller-Cushon <cushon@google.com> 1435182446 +0000
committer Damien Martin-Guillerez <dmarting@google.com> 1435214881 +0000

Externalize documentation for -extra_checks

--
MOS_MIGRATED_REVID=96814231