diff options
author | Vincent Ambo <mail@tazj.in> | 2020-08-26T10·47+0100 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2020-08-26T11·15+0000 |
commit | dec32be0d749098047e0fbaacbffeda0b15a8ee4 (patch) | |
tree | db6ba29b777f99a8f2d15976ce20f210db9064b2 /users/tazjin/homepage/header.html | |
parent | a9650041bb73366d9be73bcbe34faf8694f9aa2c (diff) |
fix(tazjin/emacs): Override vterm's internal title generator r/1712
This used to be part of the public interface, but was removed and replaced with a (less useful) format string. Change-Id: I387557c20c2eddde16974c3fcad1712569db5325 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1841 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
Diffstat (limited to 'users/tazjin/homepage/header.html')
0 files changed, 0 insertions, 0 deletions