remove unused header

Authored by mreeves on Oct 30 2018, 2:48 AM.

Description

remove unused header

Details

Committed
mreevesNov 11 2018, 4:04 AM
Parents
R983:363bcd8d72ab: Factor out painting lock code.
Branches
Unknown
Tags
Unknown