diff options
| author | P. J. McDermott <pj@pehjota.net> | 2018-01-13 23:47:16 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2018-01-13 23:47:16 (EST) |
| commit | e415554f7173660926977a6cc650eb7c4e80b3e8 (patch) | |
| tree | 127c02caf4a3665430bea936a324fdca76fbc3f2 /inst | |
| parent | af29d09b765bcf923a1340c1139fc08483258f32 (diff) | |
| download | pc-inst-e415554f7173660926977a6cc650eb7c4e80b3e8.zip pc-inst-e415554f7173660926977a6cc650eb7c4e80b3e8.tar.gz pc-inst-e415554f7173660926977a6cc650eb7c4e80b3e8.tar.bz2 | |
logi1: Replace roxterm-gtk3 with xterm for now
Cf. <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=827768>.
xterm is far from a feature-complete replacement, but ROXTerm is hard to
replace.
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions