Stefan Schuermans
fix detection of file modification (now really working)
Stefan Schuermans commited 4af2f2c at 2011-10-24 21:29:34