2023-03-24 | jenkins | jenkins merging release branch into master (strategy... 5.36.0 | blob | commitdiff | raw |
2023-03-04 | Andreas Müller | cleanup | blob | commitdiff | raw |
2017-07-06 | jenkins | jenkins merging release branch into master (strategy... 4.8.0 | blob | commitdiff | raw | diff to current |
2017-06-06 | Andreas Kohlbecker | Merge branch 'phycobank' into develop | blob | commitdiff | raw | diff to current |
2017-05-22 | Andreas Kohlbecker | ref #6169 RegistrationItemButtonGroups: making names... | blob | commitdiff | raw | diff to current |