diff make-dist @ 72371:c1c598c2cd83

<indent-tabs-mode>: Move to the `indent' customization group.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 12 Aug 2006 13:04:44 +0000
parents ef43d43a40be
children 81a55a7dc3c3 138ce2701550
line wrap: on
line diff