After we sent the project to the mail, we’ve received the “Double Extension Error”.
We wanted to know what does it mean, because we have searched for information but haven’t found much.
It means your file is named 123456789_123456789_introduction.circ.circ instead of 123456789_123456789_introduction.circ.