diff options
| author | Emilio Jesus Gallego Arias | 2019-06-21 13:23:08 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-07-01 19:34:55 +0200 |
| commit | b78a4f8afc6180c1d435258af681d354e211cab2 (patch) | |
| tree | dd77b9d47fe0cc7a0accc0360b9d0f5dc4ea9384 /plugins/derive | |
| parent | 47389d31c0aa6fafa1c696b1e6f06059751a8217 (diff) | |
[pretyping] Remove seemingly unless check about "variable" opacity.
See discussion in #10417
Diffstat (limited to 'plugins/derive')
0 files changed, 0 insertions, 0 deletions