I believe the .settings directory (which contains org.eclipse.php.core.projectOptions.prefs) is included by accident in this release.

Comments

jvandervort’s picture

jvandervort commented
Status: Active » Fixed

committed.

Status: Fixed » Closed (fixed)

Automatically closed -- issue fixed for 2 weeks with no activity.