Søren L. Hansen ce0eeb8457 Switch back to xterm as the default
I somehow got the impression that xterm was the legacy one, but
according to the git history, hterm is the legacy and now we're
caught up with xterm, so let's stick with that.
2021-04-22 10:31:52 -07:00
..
2021-04-22 10:31:52 -07:00
2021-04-10 23:22:43 -07:00
2017-08-11 15:31:11 +09:00
2017-08-11 15:31:11 +09:00
2017-08-11 15:31:11 +09:00
2021-04-22 10:31:52 -07:00
2017-08-11 15:31:11 +09:00
2021-04-19 02:53:24 -07:00
2021-04-10 21:46:31 -07:00
2017-08-24 14:40:28 +09:00