diff etc/DEBUG @ 81443:a71b6149e347

* wid-edit.el (widget-add-documentation-string-button): Fix handling of documentation indent.
author Chong Yidong <cyd@stupidchicken.com>
date Fri, 15 Jun 2007 16:27:16 +0000
parents 5ba6d7571941
children b98604865ea0 d7172f202ab8
line wrap: on
line diff