users-guide: Document NondecreasingIndentation

Authored by bgamari on Sun, Oct 6, 4:05 PM.

Description

users-guide: Document NondecreasingIndentation

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 8, 4:12 AM
Parents
rGHCeaeb28a1984e: users-guide: Fix various warnings
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC180cf1775f4d: users-guide: Document NondecreasingIndentation (authored by bgamari).Tue, Oct 8, 4:12 AM