diff options
| author | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-10-29 19:47:41 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-29 19:47:41 +0000 |
| commit | a9e03f1ae0b79353b78ac9e2e6503b42b12c7fb2 (patch) | |
| tree | b87d719c67ea9ce0040bfa317055e6457f898d5b /winpty | |
| parent | 58127f468787bec9ae5d463575a8db83ae3652a7 (diff) | |
| download | alacritty-a9e03f1ae0b79353b78ac9e2e6503b42b12c7fb2.tar.gz alacritty-a9e03f1ae0b79353b78ac9e2e6503b42b12c7fb2.zip | |
Update Windows configuration file
The Windows configuration file was outdated compared to the other
configuration files, since there were some major changes to the config
during the development of the Windows PR.
All changes between the Linux and Windows configuration file have been
removed, preserving platform-specific configuration defaults that were
intentionally changed.
Some minor changes have also been made to the Linux and macOS
configuration files, since there were some inconsistencies left.
This fixes #1692.
Diffstat (limited to 'winpty')
0 files changed, 0 insertions, 0 deletions