Changeset f1e3ed3 in git

Timestamp:
05/01/16 03:48:36 (7 years ago)
Author:
Olly Betts <olly@…>
Branches:
line_contents, master, proj-api-update, stereo
Children:
cd5cd8f
Parents:
e768f29
Message:

Don't try to set terminal title

gnome-terminal no longer supports -t, and there doesn't seem to be a
portable option for specifying the titles for terminals which do allow
it.

(No files)

Note: See TracChangeset for help on using the changeset viewer.