view .settings/org.eclipse.core.resources.prefs @ 24:345dd913f520 default tip

new pubman
author Dirk Wintergr?n <dwinter@mpiwg-berlin.mpg.de>
date Fri, 10 Jan 2014 12:43:43 +0100
parents 373e6610e290
children
line wrap: on
line source

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