tree ad9c3021931f191f0f4a1e94efb66aa8711c1451
parent 74fe6c6b245ebe7d3b3d96962c32980d88dca4f5
author Nick Pelly <npelly@google.com> 1296778013 -0800
committer Nick Pelly <npelly@google.com> 1296779038 -0800

Fix docs type that broke build.

Change-Id: I5b5a2fc5baf95ace74bf90ff2c750ba890054d64