diff options
author | Karl Berry <karl@freefriends.org> | 2016-02-15 19:00:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-02-15 19:00:21 +0000 |
commit | ac696bf78edd670ee0edf00a710abb41e9c3dcb3 (patch) | |
tree | 2a5879d1cf521de7a137ac8afcb223934d74118c /Build/source/texk/dvipsk | |
parent | 6ace9ac1f4a8a247c6667895caa9a184653a5778 (diff) |
small doc updates
git-svn-id: svn://tug.org/texlive/trunk@39724 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipsk')
-rw-r--r-- | Build/source/texk/dvipsk/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/ChangeLog b/Build/source/texk/dvipsk/ChangeLog index be4aff5159a..cde2f492927 100644 --- a/Build/source/texk/dvipsk/ChangeLog +++ b/Build/source/texk/dvipsk/ChangeLog @@ -11,6 +11,7 @@ (noaccentheightadjust): new global to remember it. (texheight): do nothing if -a is specified, or if the heuristically-guessed height is less than the original. + Bug report from Michael Sharpe. 2015-07-10 Peter Breitenlohner <peb@mppmu.mpg.de> |