3 ms·

Debian's patch is nicer, as the build process pulls the default from the man page, so: https://sources.debian.org/patches/xterm/375-1/904_fontops.diff/ https://

• jwilk 4y ago
  > the build process pulls the default from the man page Interesting idea, but I don't think that's what happens: https://sources.debian.org/src/xterm/375-1/debian/rules/#L22 https://sources.debian.org/src/xterm/375-1/debian/rules/#L22