diff .pydevproject @ 572:51800c42bcda

deal with empty repositoryType
author casties
date Mon, 15 Oct 2012 13:03:37 +0200
parents 8e42c3d2ce28
children
line wrap: on
line diff