| commit | 015ea008f7422876d176572dcd95be412caf060a | [log] [tgz] |
|---|---|---|
| author | James Ennis <james.ennis@codethink.co.uk> | Wed Apr 10 15:40:43 2019 +0100 |
| committer | James Ennis <james.ennis@codethink.co.uk> | Wed Apr 10 17:11:37 2019 +0100 |
| tree | 54821453f5260db57c7b05d49f3fbdd1e2da43cb | |
| parent | 5a9b3f64000d6cb6104b579d404bd6ed4918bcd0 [diff] |
element.py: Cache whether the element is workspaced