tag:gitlab.vci.rwth-aachen.de,2022-10-07:118274Jan Möbius accepted merge request !1: new iterators and circulators at OpenFl...2022-10-07T07:24:11ZmoebiusJan Möbiusmoebius@cs.rwth-aachen.de
tag:gitlab.vci.rwth-aachen.de,2022-10-07:118273Jan Möbius pushed to project branch master at OpenFlipper-Free / Plugin-MeanC...2022-10-07T07:24:11ZmoebiusJan Möbiusmoebius@cs.rwth-aachen.de
Merge branch 'Plugin-MeanCurvature-updated' into 'master'
... and
1 more commit
tag:gitlab.vci.rwth-aachen.de,2022-10-07:118266Edwin Özdemir opened merge request !1: new iterators and circulators at OpenF...2022-10-07T02:17:07ZeoezdemirEdwin Özdemir
tag:gitlab.vci.rwth-aachen.de,2022-10-07:118260Edwin Özdemir pushed new project branch Plugin-MeanCurvature-updated at OpenF...2022-10-07T02:07:52ZeoezdemirEdwin Özdemir