view .settings/org.eclipse.core.resources.prefs @ 13:43849c9cc08b

Incomplete - # 74: More Link auf den pers?nlichne Homepages https://it-dev.mpiwg-berlin.mpg.de/tracs/webpage/ticket/74 ausserdem big in vollst?ndiger liste
author dwinter
date Tue, 28 May 2013 09:46:58 +0200
parents 373e6610e290
children
line wrap: on
line source

eclipse.preferences.version=1
encoding/zopePubmanConnector.py=utf-8