Skip to content

GitLab

An error occurred while fetching folder content.
Switch branch/tag
History Find file
Clone
tweaks: rename two variables, for preciseness and shortness
Benno Schulenberg authored 
Also remove an unneeded nulling.
704a7d7b
Name Last commit Last update