diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:39:13 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:39:13 -0700 |
| commit | 0e48ffee46a81914beef72a0f7521466df9107e0 (patch) | |
| tree | 9b5e82f974fcffb408d33387fd0bf401a55ccb8a /cryptominisat5/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/cmake_clean.cmake | |
| parent | 35353be470c5b73b7c19d9aea27d09695d9b4dfc (diff) | |
clean up
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() |