tree 6efe42636a66e5361361c407c95549f69a1e4f0b
parent e8ed5908b29e4ca0297586a85981eda2de941c65
author Debargha Mukherjee <debargha@google.com> 1519840817 -0800
committer Debargha Mukherjee <debargha@google.com> 1519856279 +0000

Remove CONFIG_EXT_PARTITION_TYPES config flag

This tool is fully adopted.

Change-Id: I51a89d62c97dff0fd6bdbd5bd9c39aa04936b4fe