What does double semicolon mean in c?

It has the meaning of an a statement followed by an empty statement.

In C each statememnt ends with ;. So a statement with a ; followed by one, is a statement followed by an empty statement.

It doesn't mean anything. It's just an extra semicolon. You can delete it (leaving a single semicolon) without any effect on your program.