Skip to content
Snippets Groups Projects
Commit 5310b718 authored by Philipp Schmidt's avatar Philipp Schmidt
Browse files

Small clean-ups from MR discussion

parent 91165e9c
No related branches found
No related tags found
1 merge request!672[LPD] New correction notebook
This commit is part of merge request !646. Comments created here will be created in the context of that merge request.
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment