diff etc/HELLO @ 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 dc23aaa67696
children 713172dcf518 52a7f3f50b89
line wrap: on
line diff