Skip to content

GitLab

An error occurred while fetching folder content.
Switch branch/tag
History Find file
Clone
tweaks: condense and rewrap some comments, and reindent two lines
Benno Schulenberg authored 
Also drop an old debugging fragment.
2c8b99d5
Name Last commit Last update