Skip to content
GitLab
Explore
Sign in
WIP: Allow ranks to be empty on restart, if that was true at last save
Code
Review changes
Check out branch
Download
Patches
Plain diff
Peter W. Draper
requested to merge
restart-empty-ranks
into
master
Jan 04, 2021
Overview
3
Commits
1
Changes
2
Expand
Possible fix for
#735 (closed)
.
Merge request reports