| commit | 930b04f43f8ed5b1ee9eb4925d964dba099135bd | [log] [tgz] |
|---|---|---|
| author | Nicholas Pacini <nicholas.pacini@intecs.it> | Fri Jun 14 15:07:02 2019 +0200 |
| committer | Nicholas Pacini <nicholas.pacini@intecs.it> | Fri Jun 14 15:07:02 2019 +0200 |
| tree | c8d42f8047483e064fede5b03174e14ab14b07c5 | |
| parent | 85f1919534a535b415b1fa9b6db3a71e6b10bc2b [diff] |
contextual menu refactoring (Filters and Set Contract Refinement)