tree 43556d70c8144dcb42b33655a65297f02295d257
parent d1c3e86f2368ec69098a4e786a5c4e9d2455ae1d
author Patrick Venture <venture@google.com> 1547611058 -0800
committer Patrick Venture <venture@google.com> 1547611591 -0800

stop installing manager header

Stop installing the manager header as it is no longer meant to be
exported, but rather used only internally within this repository.

Change-Id: I2ab21a31fd745e1b3e36fc39ffea5e26d373ff51
Signed-off-by: Patrick Venture <venture@google.com>