SIGN IN SIGN UP

Fix latex conversion glitch in property/feature descriptions.

G
Georg Brandl committed
facfb15bb96b60482721bf7703f927242ebce523
Parent: c64cb6f