tree 53a57dd6db579135c6425e352b1026f1d3c3ad4a
parent 41378450e9893ea15a270340f19a78a30dba8ac8
author Václav Kubernát <kubervac@fit.cvut.cz> 1528477562 +0200
committer Václav Kubernát <kubervac@fit.cvut.cz> 1528887517 +0200

Add types for leaves

Change-Id: Ibea2945920e523d2f3439eed2c12a5d719d178f1