.settings/org.eclipse.core.resources.prefs
changeset 28 ec82f750a462
child 29 035058514c2d
equal deleted inserted replaced
27:5581b89ad027 28:ec82f750a462
       
     1 #Thu Nov 19 15:20:04 CET 2009
       
     2 eclipse.preferences.version=1
       
     3 encoding//ztfy/utils/catalog.py=utf-8
       
     4 encoding//ztfy/utils/file.py=utf-8
       
     5 encoding//ztfy/utils/protocol/xmlrpc.py=utf-8
       
     6 encoding//ztfy/utils/unicode.py=utf-8