view .gitignore @ 15849:e55a64f49346

editor: prevent reloaded file from being added twice to the file watcher file-edtior-tab.cc: only readd an externally changed file to the file watcher in handle_file_reload_answer () when it is not reloaded; if reloaded, it is readded in set_system_file ()
author Torsten <ttl@justmail.de>
date Tue, 25 Dec 2012 22:15:02 +0100
parents 5758e0013246
children
line wrap: on
line source

*~
*.user
*.o
*.a
Makefile*
*.pdb
debug/
release/