2019-04-15 | jenkins | Merge branch 'release/5.6.0' 5.6.0 | tree | commitdiff |
2019-04-15 | Andreas Müller | ref #8162 adapt cdmlip to new term package structure | tree | commitdiff |
2019-03-05 | Andreas Müller | ref #8162 adapt cdmlip to new term package structure | tree | commitdiff |
2018-05-17 | jenkins | Merge branch 'release/5.0.0' 5.0.0 | tree | commitdiff |
2018-04-23 | Andreas Müller | ref #6241 change @date to @since (fix) | tree | commitdiff |
2018-04-23 | Andreas Müller | ref #6241 change @date to @since | tree | commitdiff |
2017-11-08 | jenkins | Merge branch 'release/4.11.0' 4.11.0 | tree | commitdiff |
2017-10-18 | Andreas Müller | minor fixes to IdentifierImport | tree | commitdiff |
2017-10-18 | Andreas Müller | cleanup | tree | commitdiff |
2017-05-16 | jenkins | Merge branch 'release/4.7.0' | tree | commitdiff |
2017-03-27 | unknown | fix #6542 name identifier import | tree | commitdiff |