diff options
author | Michael Januszewski <spock@gentoo.org> | 2004-01-31 16:18:35 +0000 |
---|---|---|
committer | Michael Januszewski <spock@gentoo.org> | 2004-01-31 16:18:35 +0000 |
commit | 955e194ca880f83b781ef4e064bccc152b7c3612 (patch) | |
tree | 9b63b02dcaf51c450409c184e0ffb3368bb415e6 /dev-tex | |
parent | Version bumped. Closes 39936. (diff) | |
download | historical-955e194ca880f83b781ef4e064bccc152b7c3612.tar.gz historical-955e194ca880f83b781ef4e064bccc152b7c3612.tar.bz2 historical-955e194ca880f83b781ef4e064bccc152b7c3612.zip |
Extended version of the patch, with support for INCR pasting.
Diffstat (limited to 'dev-tex')
0 files changed, 0 insertions, 0 deletions