diff options
| author | George Schizas <gschizas@gmail.com> | 2019-09-03 10:40:45 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-03 10:40:45 +0300 |
| commit | 5eb555e9a436a632585cbcbd51cb4767d44e73d1 (patch) | |
| tree | 1070e61e70e01815a923da32954bc8240fc09285 /internal/configure.zsh | |
| parent | db6d36e09fbbe82ea9c9338e74d22b9faf723f3e (diff) | |
Fix name of old windows terminal emulator
Command prompt is the shell, Console Host is the (equivalent) of xterm.
Diffstat (limited to 'internal/configure.zsh')
0 files changed, 0 insertions, 0 deletions