Comment 1 for bug 1116538

Revision history for this message
John Lea (johnlea) wrote :

Does "Strg" = "Ctrl" ?