changed name of Scanner tokens to names similar in the JDT
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.ui / src / net / sourceforge / phpdt / internal / debug / ui / preferences /
drwxr-xr-x   ..
-rw-r--r-- 6243 EditInterpreterDialog.java
-rw-r--r-- 1054 PHPBasePreferencePage.java
-rw-r--r-- 592 PHPInterpreterContentProvider.java
-rw-r--r-- 1178 PHPInterpreterLabelProvider.java
-rw-r--r-- 7706 PHPInterpreterPreferencePage.java