2018-07-26 | Patrick Plitzner | Fix possible NPE | blob | commitdiff | raw |
2018-05-31 | Patrick Plitzner | Merge branch 'develop' into bulkNat | blob | commitdiff | raw | diff to current |
2018-05-29 | Patrick Plitzner | ref #7010 Adapt DDS navigator handler | blob | commitdiff | raw | diff to current |
2018-05-14 | Patrick Plitzner | ref #7095, #7086 Fix session initialization | blob | commitdiff | raw | diff to current |
2018-05-12 | Andreas Müller | replace all occurrences of workingSet by descriptiveDat... | blob | commitdiff | raw | diff to current |