Why do all the C files written by my lecturer start with a single # on the first line?

I’m going through some C course notes, and every C program source file begins with a single # on the first line of the program.

Then there are blank lines, and following that other stuff followed by the main function.

What is the reason for the #?

(It’s out of term now and I can’t really ask the chap.)

Here’s an example:

#

#include <stdio.h>
int main() {
   printf("Hello, World!");
   return 0;
}