Fixed: 1736622 - "php marker occurrences" color - did`t have an effect
[phpeclipse.git] / net.sourceforge.phpeclipse.phphelp.nl1 / src / net / sourceforge / phpdt / phphelp / PHPHelpPreferenceMessages_de.properties
1 PHPHelpPreferencePage.PHPHelpSettings=PHP Help Einstellungen (nur WIN_32)
2 PHPHelpPreferencePage.PHPHelp.format=Zeige Hilfe im *.chm Format?
3 PHPHelpPreferencePage.PHPHelp.chm.file=PHP *.chm Datei:
4 PHPHelpPreferencePage.PHPHelp.command=PHP Hilfe Kommando: