tree 835eb011a710d1df33ed1af84bb21d0c9fc29737
parent fa950ae3448effe05031428423dbcca91d356758
author Yuto Takano <yuto.takano@arm.com> 1628190394 +0100
committer Yuto Takano <yuto.takano@arm.com> 1628280459 +0100

Check for double underscores: Python port of 712f7a804e391737b0e9d2593abe291f4ccb0303

Signed-off-by: Yuto Takano <yuto.takano@arm.com>