comparison refresh.txt @ 581:514902fb6b8a

use dri repository=mpiwg as default
author casties
date Mon, 12 Nov 2012 14:29:50 +0100
parents 312446f900da
children
comparison
equal deleted inserted replaced
580:0806cb9061c1 581:514902fb6b8a