Slightly improve the documentation.

Authored by zwabel on Jun 18 2011, 6:45 PM.

Description

Slightly improve the documentation.

Details

Committed
zwabelJun 18 2011, 6:46 PM
Parents
R32:35f0fe99d7c2: Merge branch '1.2'
Branches
Unknown
Tags
Unknown