diff .pydevproject @ 581:514902fb6b8a

use dri repository=mpiwg as default
author casties
date Mon, 12 Nov 2012 14:29:50 +0100
parents 8e42c3d2ce28
children
line wrap: on
line diff