Skip to content
GitLab
Explore
Sign in
Fix bugs in flagJums (solving
#370
)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Peter Lünenschloß
requested to merge
flagJumpsfix
into
develop
Oct 17, 2022
Overview
0
Commits
7
Pipelines
2
Changes
3
Expand
Solves
#370 (closed)
fixes inconsistencies with the window sizes
fixes inconsistencies with minimum periods masking
removed closure keyword
Edited
Oct 17, 2022
by
Peter Lünenschloß
Merge request reports
Loading