Skip to content
Snippets Groups Projects
Commit 3060ee6d authored by Vladimír Čunát's avatar Vladimír Čunát
Browse files

Merge !45: various nitpicks

Assortment of unimportant changes that I created during trying to understand how the whole resolution process works. Best read each commit separately.
parents 1a568228 4179a5ca
Branches
Tags
1 merge request!45Nitpicks
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment