Issue #14926: fix docstring highlight

This commit is contained in:
Sandro Tosi 2012-06-02 19:40:02 +02:00
parent 964f205a34
commit 29d09aa4dd