From b730250bdd6cd6db4204ea14ba82f2a50e9dcda8 Mon Sep 17 00:00:00 2001 From: Bent Bisballe Nyeng Date: Wed, 12 Mar 2014 14:18:42 +0100 Subject: Switch to new praxisdif. --- praxisdif | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'praxisdif') diff --git a/praxisdif b/praxisdif index 66697a0..e1f703f 160000 --- a/praxisdif +++ b/praxisdif @@ -1 +1 @@ -Subproject commit 66697a015823be0bcb65341ca9c2bbdacf28ea3a +Subproject commit e1f703f39e09d1989225e15acdc1c5cbad7e7e20 -- cgit v1.2.3