Skip to content

Move the toplevel buttons to the bottom-right#409

Merged
erikmd merged 2 commits intoocaml-sf:masterfrom AltGr:movbuttonsSep 15, 2021

Commits

Commits on Jul 30, 2021