diff options
Diffstat (limited to 'Build/source/utils/xindy/ChangeLog')
-rw-r--r-- | Build/source/utils/xindy/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/utils/xindy/ChangeLog b/Build/source/utils/xindy/ChangeLog index 2b969a0acdd..6fd49c7fcfe 100644 --- a/Build/source/utils/xindy/ChangeLog +++ b/Build/source/utils/xindy/ChangeLog @@ -1,3 +1,7 @@ +2020-06-07 Karl Berry <karl@freefriends.org> + + * ac/withenable.ac: omit $Id$ from generated output. + 2020-05-28 J\"urgen Spitzm\"uller <spitz@lyx.org> These patches from: |