diff options
author | bunnei <bunneidev@gmail.com> | 2014-09-07 22:08:06 -0400 |
---|---|---|
committer | bunnei <bunneidev@gmail.com> | 2014-09-07 22:08:06 -0400 |
commit | 85f1b76cd8a223968d61fbd93235acee5dcab47e (patch) | |
tree | 8b062c49cd6b6d34e39e4ad79005815e5c694c73 /src/common/CMakeLists.txt | |
parent | a1300865873541e532545088d2e65ec83ac69335 (diff) | |
parent | 498d1a37f16d36b0c6341b074e5390a9194567a7 (diff) |
Merge pull request #87 from archshift/remove-cruft
Removed redundant headers for std implementations
Diffstat (limited to 'src/common/CMakeLists.txt')
-rw-r--r-- | src/common/CMakeLists.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/common/CMakeLists.txt b/src/common/CMakeLists.txt index 55a5f9eb..868fda55 100644 --- a/src/common/CMakeLists.txt +++ b/src/common/CMakeLists.txt @@ -49,9 +49,6 @@ set(HEADERS msg_handler.h platform.h scm_rev.h - std_condition_variable.h - std_mutex.h - std_thread.h string_util.h swap.h symbols.h |