tree c8bdb90a676ba9636a3325d461acb65b69839cc8
parent f754c27003facd0037ba7e1cce35628b5aef06d5
author Edwin Kempin <ekempin@google.com> 1461916641 +0200
committer Edwin Kempin <ekempin@google.com> 1462266878 +0200

Fix plugin name in build documentation

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