diff options
| author | Aleksey Kladov <[email protected]> | 2021-01-17 10:18:45 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-01-17 10:18:45 +0000 |
| commit | 0a570eddd215902a65978c9d3736a2ffd4bdeaf8 (patch) | |
| tree | f90425bdabec287ef347d95dbe6a500b376f37cc /.github | |
| parent | 44a995dd43b5789cdf14c2a8ab879f8d034ccba0 (diff) | |
Less annoying `mod` completion
We shouldn't complete optional elements, as deleting stuff is much more
annoying than adding it.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions