tree 54821453f5260db57c7b05d49f3fbdd1e2da43cb
parent 5a9b3f64000d6cb6104b579d404bd6ed4918bcd0
author James Ennis <james.ennis@codethink.co.uk> 1554907243 +0100
committer James Ennis <james.ennis@codethink.co.uk> 1554912697 +0100

element.py: Cache whether the element is workspaced