Ignore commit.txt
POPL 27/11/13 09:30
VIGR 27/11/13 10:30