]> git.lizzy.rs Git - nothing.git/commitdiff
Merge pull request #1254 from tsoding/1251
authorAlexey Kutepov <reximkut@gmail.com>
Sat, 8 Feb 2020 18:39:52 +0000 (01:39 +0700)
committerGitHub <noreply@github.com>
Sat, 8 Feb 2020 18:39:52 +0000 (01:39 +0700)
(#1251) Introduce "icons" for tool buttons


Trivial merge