bug#20346: 24.3; Variable `whitespace-style': documentation and custom choices inconsistent

[Philipp Stephani]

Eli Zaretskii <eliz@gnu.org> schrieb am Sa., 18. Apr. 2015 um 10:35 Uhr:

> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Sat, 18 Apr 2015 08:26:21 +0000
> Cc: 20346@debbugs.gnu.org
>
> From my experience the documentation is correct, and it's the customization
> option list that's incomplete. I can send a patch if you like.

Please do, and thanks!

Patch is attached. 

0001-Overhaul-customization-type-for-whitespace-style.patch
Description: Binary data