![[BACK]](/cvs/cvsweb/icons/back.gif){kind=icon}
Return to org.eclipse.core.resources.prefs CVS log ![[TXT]](/cvs/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvs/cvsweb/icons/dir.gif){kind=icon}
Up to [Repository] / ExtFile / .settings|
Return to org.eclipse.core.resources.prefs CVS log | Up to [Repository] / ExtFile / .settings |
1.1 ! dwinter 1: #Wed Jan 24 17:07:15 CET 2007 ! 2: eclipse.preferences.version=1 ! 3: encoding/ExtFile.py=latin1