fix(jsii-diff): detect interfaces inherited via interfaces#1492

Merged

MrArnoldPalmer merged 3 commits intomasterfrom huijbers/fix-inherited-interface-lookup

Apr 7, 2020

+60-1

Commits on Apr 7, 2020

fix(jsii-diff): detect interfaces inherited via interfaces

rix0rrr
authored and
MrArnoldPalmer
committed
Satisfy eslint

rix0rrr
authored and
MrArnoldPalmer
committed
Merge branch 'master' into huijbers/fix-inherited-interface-lookup
MrArnoldPalmer
authored