]> git.lizzy.rs Git - nothing.git/commitdiff
Merge pull request #621 from tsoding/615
authorAlexey Kutepov <reximkut@gmail.com>
Sun, 6 Jan 2019 17:44:05 +0000 (00:44 +0700)
committerGitHub <noreply@github.com>
Sun, 6 Jan 2019 17:44:05 +0000 (00:44 +0700)
Implement hide/show goals operation


Trivial merge