ninja-ide/ninja-ide — pull request #838 by perrito666 (2012-09-13 02:52:26+00:00)
Title: Added dumb filesystem watcher

Fixes https://github.com/ninja-ide/ninja-ide/issues/814 and tries to improve on https://github.com/ninja-ide/ninja-ide/issues/769