Summary#5427

Open

dkrupp wants to merge 3 commits intomainfrom

Commits on Nov 10, 2022

Function Summary Config Option

dkrupp
authored and
Endre Fülöp
committed
Implement basic type lookup
Endre Fülöp
committed
Implement checker config for summary configuration
Endre Fülöp
committed