]> git.lizzy.rs Git - nothing.git/commitdiff
Merge pull request #1134 from tsoding/1129
authorAlexey Kutepov <reximkut@gmail.com>
Sat, 16 Nov 2019 19:52:42 +0000 (02:52 +0700)
committerGitHub <noreply@github.com>
Sat, 16 Nov 2019 19:52:42 +0000 (02:52 +0700)
 (#1129) Introduce different cursor styles


Trivial merge