Code Review / simantics / district.git / commit
| author | Reino Ruusu <reino.ruusu@semantum.fi> | |
| Fri, 27 Mar 2020 13:17:30 +0000 (15:17 +0200) | ||
| committer | Reino Ruusu <reino.ruusu@semantum.fi> | |
| Fri, 27 Mar 2020 13:17:30 +0000 (15:17 +0200) | ||
| commit | de0826b0258aa7301b5daf8aa58eb752db7e1a9c | |
| tree | a53f04bc38aa49eb7f93186e718dac30ff956d35 | tree | snapshot |
| parent | 2c1785eb5f5764aa82305c32973705c735f15dfc | commit | diff |
| org.simantics.district.selection/src/org/simantics/district/selection/ElementSelector.java | diff | blob | history |