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 /book/src/lang-support.md | |
| parent | 7e330697e194bf7a32b59ac3adefbde308c1995c (diff) | |
Make external terminal provider configurable
Fixes #1699
Diffstat (limited to 'book/src/lang-support.md')
0 files changed, 0 insertions, 0 deletions