Fix hover functionality.
[phpeclipse.git] / net.sourceforge.phpeclipse.launching / .cvsignore