diff options
| author | Martin Polden <mpolden@mpolden.no> | 2022-06-30 20:07:09 +0200 |
|---|---|---|
| committer | Martin Polden <mpolden@mpolden.no> | 2022-06-30 20:12:58 +0200 |
| commit | 22b792e5cf49508ba99708152163663db1b23315 (patch) | |
| tree | 0cb3bf7372fcd4f0c841e731d2748c5a4d1fbb1f /.gitignore | |
| parent | 77017db7210da1d3572589038faaa77042655537 (diff) | |
theme, vterm: ensure that new terminals use current theme
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions