diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/lib/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog index 4ffd0c76b3b..ee8ec05b24e 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,7 @@ +2011-07-04 Peter Breitenlohner <peb@mppmu.mpg.de> + + * texmfmp.c: Drop `#warning SyncTeX: -synctex command line...'. + 2011-05-18 Peter Breitenlohner <peb@mppmu.mpg.de> * texmfmp.c (ipcpage): Add 'free(cwd)'. |