Merge pull request #621 from techee/remote_mtime
commit25bd24187ba30497109e01938365e8a4ca2a12fd
authorColomban Wendling <ban@herbesfolles.org>
Tue, 6 Oct 2015 13:00:11 +0000 (6 15:00 +0200)
committerColomban Wendling <ban@herbesfolles.org>
Tue, 6 Oct 2015 13:00:11 +0000 (6 15:00 +0200)
tree42b6e25d4828252045ea20db4c03aee525270485
parente7e5d51d0a239ea64fae9921d467272ea48fb27f
parentdaf4dd45b874f7d29e30f8eddd4fbb6cae40e687
Merge pull request #621 from techee/remote_mtime

Fix the "source file has been modified" issue

Closes #605.
src/document.c