diff options
| author | wojciechkepka | 2021-06-21 03:44:50 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-06-21 03:59:06 +0000 |
| commit | aca9d73fe400e5147f27995374794781c1c49079 (patch) | |
| tree | a20a82388c2ae5fcca32aec246c89e4928973cd3 /.github | |
| parent | cc357d50964ecd5760f1367a8a7b63fd45a0f1ce (diff) | |
Hold `Config` in `Application`, expect at least one editor view
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions