diff options
author | Blaž Hrastnik | 2022-08-22 01:11:04 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2022-08-22 01:11:04 +0000 |
commit | cb7615e0ed119f292eabdce784e4635247ed1eb1 (patch) | |
tree | daf3c7fdb0cfc8ef97f07400a7ba8227855fb7e7 /.cargo | |
parent | 7e330697e194bf7a32b59ac3adefbde308c1995c (diff) |
Make external terminal provider configurable
Fixes #1699
Diffstat (limited to '.cargo')
0 files changed, 0 insertions, 0 deletions