NorbiPeti 4455b27659 Put the F message on a timer, instead of messages and also made some optimizations		2015-11-16 21:11:54 +01:00
..
org.eclipse.core.resources	Put the F message on a timer, instead of messages and also made some optimizations	2015-11-16 21:11:54 +01:00