diff options
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 965c483c3..471be3e29 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -1346,7 +1346,7 @@ src/pt/Makefile | |||
1346 | src/regex/Makefile | 1346 | src/regex/Makefile |
1347 | src/regex/regex.conf | 1347 | src/regex/regex.conf |
1348 | src/revocation/Makefile | 1348 | src/revocation/Makefile |
1349 | src/revocation/regex.conf | 1349 | src/revocation/revocation.conf |
1350 | src/scalarproduct/Makefile | 1350 | src/scalarproduct/Makefile |
1351 | src/scalarproduct/scalarproduct.conf | 1351 | src/scalarproduct/scalarproduct.conf |
1352 | src/set/Makefile | 1352 | src/set/Makefile |