.settings/org.eclipse.core.resources.prefs
changeset 42 cb2a0e2d3bbf
parent 39 cfcde480cdef
child 48 d9a45c366c6c
equal deleted inserted replaced
41:da1558b96f0a 42:cb2a0e2d3bbf
     1 #Thu Mar 04 12:01:13 CET 2010
     1 #Wed Mar 17 00:02:25 CET 2010
     2 eclipse.preferences.version=1
     2 eclipse.preferences.version=1
     3 encoding//ztfy/utils/__init__.py=utf-8
     3 encoding//ztfy/utils/__init__.py=utf-8
     4 encoding//ztfy/utils/catalog.py=utf-8
     4 encoding//ztfy/utils/catalog/__init__.py=utf-8
       
     5 encoding//ztfy/utils/catalog/index.py=utf-8
     5 encoding//ztfy/utils/file.py=utf-8
     6 encoding//ztfy/utils/file.py=utf-8
     6 encoding//ztfy/utils/html.py=utf-8
     7 encoding//ztfy/utils/html.py=utf-8
     7 encoding//ztfy/utils/protocol/xmlrpc.py=utf-8
     8 encoding//ztfy/utils/protocol/xmlrpc.py=utf-8
     8 encoding//ztfy/utils/request.py=utf-8
     9 encoding//ztfy/utils/request.py=utf-8
     9 encoding//ztfy/utils/tal/html.py=utf-8
    10 encoding//ztfy/utils/tal/html.py=utf-8