webs/bahdem/.settings/org.eclipse.php.core.prefs
2022-10-26 12:39:48 +09:00

3 lines
53 B
INI

eclipse.preferences.version=1
include_path=0;/bahdem