Skip to content
Snippets Groups Projects
Vladimír Čunát's avatar
Merge !45: various nitpicks
Vladimír Čunát authored
Assortment of unimportant changes that I created during trying to understand how the whole resolution process works. Best read each commit separately.
3060ee6d
Name Last commit Last update