From 623d3185814963898655457abcd6577703312a2d Mon Sep 17 00:00:00 2001 From: Jun-ichi Takimoto Date: Mon, 9 Nov 2015 23:48:24 +0900 Subject: 37085: fix doc: DEBUG_BEFORE_CMD is set by default --- ChangeLog | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 622b0dbd8..0eca17064 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2015-11-09 Jun-ichi Takimoto + + * 37085: Doc/Zsh/options.yo: DEBUG_BEFORE_CMD is set by default. + Also fix entries in the option index. + 2015-11-08 Barton E. Schaefer * 37081: Doc/Makefile.in, Doc/Zsh/mod_private.yo, -- cgit 1.4.1