diff options
author | Guido Cella <guidocella91@gmail.com> | 2020-09-04 16:37:22 +0200 |
---|---|---|
committer | Guido Cella <guidocella91@gmail.com> | 2020-09-04 16:42:14 +0200 |
commit | 5dc94600446c8e6847aed388a87a5bd2aecaacac (patch) | |
tree | e3cc23efc6ab32a98ac7b84ed15f88b58bb0058a /.github | |
parent | 35b93669f18a2e5ff414b2744e5d2013ad89553e (diff) |
simplify focus leave condition
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions