diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/configure.ac b/configure.ac index 5b843f249..2b90bc1ee 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -1589,10 +1589,6 @@ src/rps/Makefile | |||
1589 | src/rps/rps.conf | 1589 | src/rps/rps.conf |
1590 | src/secretsharing/Makefile | 1590 | src/secretsharing/Makefile |
1591 | src/secretsharing/secretsharing.conf | 1591 | src/secretsharing/secretsharing.conf |
1592 | src/sensor/Makefile | ||
1593 | src/sensor/sensor.conf | ||
1594 | src/sensordashboard/Makefile | ||
1595 | src/sensordashboard/sensordashboard.conf | ||
1596 | src/scalarproduct/Makefile | 1592 | src/scalarproduct/Makefile |
1597 | src/scalarproduct/scalarproduct.conf | 1593 | src/scalarproduct/scalarproduct.conf |
1598 | src/set/Makefile | 1594 | src/set/Makefile |