Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Resolve "Mantik and documentation appear as one"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Nastassia Kundas
requested to merge
mantik-gui-433-mantik-and-documentation-appear-as-one
into
main
Dec 13, 2024
Overview
0
Commits
32
Pipelines
0
Changes
39
Expand
DoD
is fulfilled
Acceptance criteria are checked
CHANGELOG is updated
Ref
mantik-gui#433 (closed)
Edited
Dec 23, 2024
by
Rico Berner
Merge request reports
Loading