| commit | 11571c4cadc4249a1e61355c446af5215f0a73c1 | [log] [tgz] |
|---|---|---|
| author | Jonathan Maw <jonathan.maw@codethink.co.uk> | Wed Mar 21 15:34:56 2018 +0000 |
| committer | Jonathan Maw <jonathan.maw@codethink.co.uk> | Thu Mar 22 16:33:33 2018 +0000 |
| tree | 365c5c30b642a20e2da1e167deb5fe3b4e4df865 | |
| parent | 9b42cf1ae51cd8fb75273438288f7ccabd4c514b [diff] |
filter.py: Redirect _get_real_element() calls to its build depend We do this because trying to open/close/reset a workspace on a filter element doesn't make sense, but is probably meant for the element that the filter element filters.