tree b85480062f5d89922c65d6438c855b86b86a0c41
parent d764932c5f847cd45c707b28d6ea4277212341db
author Joshua Haberman <jhaberman@gmail.com> 1590428683 -0700
committer Joshua Haberman <jhaberman@gmail.com> 1590428683 -0700

Some more doc revision.