Supplement devbuild doc (!1835) · Merge requests · mlz / BornAgain · GitLab

Snippets Groups Projects

Merged Mikhail Svechnikov requested to merge webdoc10 into r21 1 year ago

Activity

Mikhail Svechnikov requested review from @j.wuttke 1 year ago

requested review from @j.wuttke
Mikhail Svechnikov assigned to @m.svechnikov 1 year ago

assigned to @m.svechnikov
Mikhail Svechnikov changed title from upd dev build to Supplement devbuild doc 1 year ago

changed title from upd dev build to Supplement devbuild doc
Wuttke, Joachim approved this merge request 1 year ago

approved this merge request
Mikhail Svechnikov merged 1 year ago

merged
Mikhail Svechnikov mentioned in commit f4137604 1 year ago

mentioned in commit f4137604

Please register or sign in to reply