diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/ChangeLog b/Build/source/texk/web2c/synctexdir/ChangeLog index 6ee95359a19..223a1f9b4f9 100644 --- a/Build/source/texk/web2c/synctexdir/ChangeLog +++ b/Build/source/texk/web2c/synctexdir/ChangeLog @@ -1,3 +1,8 @@ +2018-06-13 Karl Berry <karl@tug.org> + + * man1/synctex.1: man page list syntax. + Report/patch from esr, 12 Jun 2018 15:16:13. + 2018-06-10 TANAKA Takuji <ttk@t-lab.opal.ne.jp> * synctex.c: Allow non-ascii file names for pdfTeX |