]> git.lizzy.rs Git - nothing.git/commitdiff
Merge pull request #1255 from tsoding/1253 master
authorAlexey Kutepov <reximkut@gmail.com>
Sat, 8 Feb 2020 19:19:58 +0000 (02:19 +0700)
committerGitHub <noreply@github.com>
Sat, 8 Feb 2020 19:19:58 +0000 (02:19 +0700)
(#1253) Let subtract tool cut out a window inside of a platform


Trivial merge