Various fixes & modifications (!579) · Merge requests · mlz / BornAgain · GitLab

Snippets Groups Projects

Merged m.puchner requested to merge variMod into develop 3 years ago

a few smaller

fixes
modifications
improvements

Please see the commit messages for details

Edited 3 years ago by m.puchner

Activity

m.puchner added GUI bug enhancement labels 3 years ago

added GUI bug enhancement labels
m.puchner requested review from @j.wuttke 3 years ago

requested review from @j.wuttke
m.puchner changed title from Various fixes modifications to Various fixes & modifications 3 years ago

changed title from Various fixes modifications to Various fixes & modifications
Wuttke, Joachim @j.wuttke · 3 years ago

Owner

ok
Wuttke, Joachim approved this merge request 3 years ago

approved this merge request
m.puchner mentioned in commit 2af85d8e 3 years ago

mentioned in commit 2af85d8e
m.puchner merged 3 years ago

merged

Please register or sign in to reply