tree 0df1f37b919c4a37073af0cc4d2f317736420157
parent 964f205a3411aab3824240c6cd9c68ebee3b5844
author Sandro Tosi <sandro.tosi@gmail.com> 1338658802 +0200
committer Sandro Tosi <sandro.tosi@gmail.com> 1338658802 +0200

Issue #14926: fix docstring highlight