Skip to content
GitLab
Explore
Sign in
Fixes to modification and merge parts
Code
Review changes
Check out branch
Download
Patches
Plain diff
Bruno Lenzi
requested to merge
fix-modif
into
main
Jun 22, 2023
Overview
0
Commits
3
Pipelines
1
Changes
3
Expand
modification: remove callbacks when changing title; msg when adding toc item
utils: write_submission and concatenate_pdf
Toc.get_titles
Merge request reports
Loading