![[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] / cdli / .settings|
Return to org.eclipse.core.resources.prefs CVS log | Up to [Repository] / cdli / .settings |
1.1 ! dwinter 1: #Tue May 12 15:39:47 CEST 2009 ! 2: eclipse.preferences.version=1 ! 3: encoding/cdli_basket.py=UTF-8