diff options
Diffstat (limited to 'Build/source/texk/web2c/man/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/man/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/man/ChangeLog b/Build/source/texk/web2c/man/ChangeLog index 2d428cd3333..8b698dc4798 100644 --- a/Build/source/texk/web2c/man/ChangeLog +++ b/Build/source/texk/web2c/man/ChangeLog @@ -1,3 +1,7 @@ +2019-03-30 Hironobu Yamashita <h.y.acetaminophen@gmail.com> + + * ppltotf.man, ptftopl.man: new. + 2019-03-25 Karl Berry <karl@freefriends.org> * gftodvi.man: omit unused second font letter. From Debian. |