Skip to content

GitLab

An error occurred while fetching folder content.
Switch branch/tag
History Find file
Clone
tweaks: change a 'do' to a 'while', and return early to elide an 'if'
Benno Schulenberg authored
37e9ada9
Name Last commit Last update