diff options
| author | Michele Guerini Rocco <rnhmjoj@users.noreply.github.com> | 2020-12-18 08:10:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-18 08:10:49 +0100 |
| commit | 9a5e66f5d4bd16454b6bf1e7303ca86737f98ab3 (patch) | |
| tree | 706c4616b9e818f5f7b90dadbc61ee7193ba6998 /maintainers | |
| parent | 85298db412bc3f768d0eba099f69a8014525c5dc (diff) | |
| parent | 9728907cd34136a8c2db38f0657920cf905106dc (diff) | |
Merge pull request #107118 from rnhmjoj/ttys
console: remove console.extraTTYs option
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions