diff options
author | Matthias Wachs <wachs@net.in.tum.de> | 2014-12-16 20:57:09 +0000 |
---|---|---|
committer | Matthias Wachs <wachs@net.in.tum.de> | 2014-12-16 20:57:09 +0000 |
commit | cffaa8b4a6591c02325a368dcc7cd3b999d1ef60 (patch) | |
tree | cc6f7114ae1007a50b11825f3b689c8f5e0c569d /configure.ac | |
parent | acad9f12ac57373b60d8bb2c64fe1d0f1dc3a06d (diff) |
removing experimentation: replaced by sensors
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 1db9b1b76..4391b20a7 100644 --- a/configure.ac +++ b/configure.ac @@ -1443,8 +1443,6 @@ src/dv/Makefile src/dv/dv.conf src/env/Makefile src/exit/Makefile -src/experimentation/Makefile -src/experimentation/experimentation.conf src/fragmentation/Makefile src/fs/Makefile src/fs/fs.conf |