update version number in docs and plist for 1.13.1

Authored by Yan Zhang <ynzhang@google.com> on May 29 2018, 3:48 PM.

Description

update version number in docs and plist for 1.13.1

Details

Committed
Aditya Atul Tirodkar <tirodkar@users.noreply.github.com>May 29 2018, 3:56 PM
Parents
R23:44a9a547ee5f: Minor format changes and doc updates
Branches
Unknown
Tags
Unknown
Reverted By
R23:ec4d211079b3: Revert "update version number in docs and plist for 1.13.1"
R23:753e0d5ed804: Revert "update version number in docs and plist for 1.13.1"