Commits on Source (4)
-
oliver.sander_at_tu-dresden.de authored
Give ObstacleRestrictor an empty virtual destructor See merge request !37 (cherry picked from commit 32c94c10) 1a872912 Give ObstacleRestrictor an empty virtual destructor
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
.gitlab-ci.yml: use new CI images See merge request !39
-
oliver.sander_at_tu-dresden.de authored
Merge branch 'add-missing-virtual-destructor' into 'master' See merge request !38