diff options
| author | Richard M. Stallman | 2006-04-23 21:56:50 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 2006-04-23 21:56:50 +0000 |
| commit | 795290503039a475e5bd64cb23985e52ee754209 (patch) | |
| tree | e02666867fe98f2214b0c72d108b32dc4bb74f0a /man/ChangeLog | |
| parent | 6bdbc02327f4c31db54602a0d2365771bba43997 (diff) | |
| download | emacs-795290503039a475e5bd64cb23985e52ee754209.tar.gz emacs-795290503039a475e5bd64cb23985e52ee754209.zip | |
[TeX]: Use xresmini.texi instead of xresources.texi.
Diffstat (limited to 'man/ChangeLog')
| -rw-r--r-- | man/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index 4874557a692..6d5aeb9ede8 100644 --- a/man/ChangeLog +++ b/man/ChangeLog | |||
| @@ -1,5 +1,9 @@ | |||
| 1 | 2006-04-23 Richard Stallman <rms@gnu.org> | 1 | 2006-04-23 Richard Stallman <rms@gnu.org> |
| 2 | 2 | ||
| 3 | * emacs.texi [TeX]: Use xresmini.texi instead of xresources.texi. | ||
| 4 | |||
| 5 | * xresmini.texi: New file. | ||
| 6 | |||
| 3 | * xresources.texi (Face Resources): Split table into font resources | 7 | * xresources.texi (Face Resources): Split table into font resources |
| 4 | and the rest. Combine similar attributes for brevity. | 8 | and the rest. Combine similar attributes for brevity. |
| 5 | 9 | ||