commit b18fa7b1e7fcb4d48e2ef314a7d822ccddd8bd60
parent 6ea60b3c0f51e600f2d3d9be5d4eaa6eb424c538
Author: Christian Grothoff <christian@grothoff.org>
Date: Mon, 30 Sep 2013 19:07:10 +0000
-fix
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure.ac b/configure.ac
@@ -1346,7 +1346,7 @@ src/pt/Makefile
src/regex/Makefile
src/regex/regex.conf
src/revocation/Makefile
-src/revocation/regex.conf
+src/revocation/revocation.conf
src/scalarproduct/Makefile
src/scalarproduct/scalarproduct.conf
src/set/Makefile