Fix typo with two dots

This commit is contained in:
Terencio Agozzino 2018-05-20 20:18:06 +02:00
parent b55200e02c
commit 6a29c5145a