tree ee0fb89eb3c00309dc42a5c14c662ec8201912a6
parent 1b6346fa96b9d028d070ec516a8078fca20b8d90
author Edwin Kempin <ekempin@google.com> 1453198315 +0100
committer Edwin Kempin <ekempin@google.com> 1453198315 +0100

Fix plugin name in build documentation

Change-Id: I532e25ce4bb3eb59d5d5ff3c2a5290b6a37d3dad
Signed-off-by: Edwin Kempin <ekempin@google.com>