diff options
Diffstat (limited to 'cryptominisat5/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/cmake_clean.cmake')
-rw-r--r-- | cryptominisat5/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/cmake_clean.cmake | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cryptominisat5/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/cmake_clean.cmake b/cryptominisat5/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/cmake_clean.cmake deleted file mode 100644 index e058b416e..000000000 --- a/cryptominisat5/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/cmake_clean.cmake +++ /dev/null @@ -1,5 +0,0 @@ - -# Per-language clean rules from dependency scanning. -foreach(lang ) - include(CMakeFiles/CopyPublicHeaders.dir/cmake_clean_${lang}.cmake OPTIONAL) -endforeach() |