950_ubuntu_charclass_highlight.diff
951_uxterm_utf8_title.diff
900_debian_xterm.diff
902_windowops.diff
904_fontops.diff
RCS-identifiers.diff
