diff options
| author | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2019-09-03 10:48:16 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-03 10:48:16 +0300 |
| commit | 8797ecd8e468ff8b250042dab432199438616c4d (patch) | |
| tree | 1070e61e70e01815a923da32954bc8240fc09285 /internal/configure.zsh | |
| parent | db6d36e09fbbe82ea9c9338e74d22b9faf723f3e (diff) | |
| parent | 5eb555e9a436a632585cbcbd51cb4767d44e73d1 (diff) | |
Merge pull request #198 from gschizas/patch-1
Fix name of old windows terminal emulator
Diffstat (limited to 'internal/configure.zsh')
0 files changed, 0 insertions, 0 deletions