fix build of kpaint

Authored by sandsmark on Jun 8 2020, 3:11 PM.

Description

fix build of kpaint

Details

Committed
sandsmarkJun 8 2020, 3:11 PM
Parents
R817:8c93ac557dc5: [IEM] 1.1.2 taggin
Branches
Unknown
Tags
Unknown