Fixed: 1736622 - "php marker occurrences" color - did`t have an effect

[phpeclipse.git] / net.sourceforge.phpeclipse.phphelp.nl1 / src / net / sourceforge / phpdt / phphelp / PHPHelpPreferenceMessages_es.properties

PHPHelpPreferencePage.PHPHelpSettings=PHP Help Settings (WIN_32 only)
PHPHelpPreferencePage.PHPHelp.format=Show Help in *.chm format?
PHPHelpPreferencePage.PHPHelp.chm.file=PHP *.chm file:
PHPHelpPreferencePage.PHPHelp.command=PHP Help command: