# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 989422885 0
# Node ID 5a5431d1f27b6bc650d45f36ce54780099018b4a
# Parent  12c0b536ecbeb36dd4a5fcbb9b75ac195cc5febe
*** empty log message ***

diff -r 12c0b536ecbe -r 5a5431d1f27b src/ChangeLog
--- a/src/ChangeLog	Wed May 09 15:40:58 2001 +0000
+++ b/src/ChangeLog	Wed May 09 15:41:25 2001 +0000
@@ -1,5 +1,7 @@
 2001-05-09  Gerd Moellmann  <gerd@gnu.org>
 
+	* print.c (syms_of_print) <print-length, print-level>: Doc fix.
+
 	* xterm.c (note_mouse_highlight): Don't change the mouse cursor
 	back to the text cursor shape without need.