Skip to content

Commit 56b4d28

Browse files
author
Mark R. Tuttle
committed
Remove *.bak files added when fixing cmake symlinks.
1 parent 7d1e074 commit 56b4d28

File tree

8 files changed

+0
-324
lines changed

8 files changed

+0
-324
lines changed

‎jbmc/src/janalyzer/CMakeLists.txt.bak

Lines changed: 0 additions & 35 deletions
This file was deleted.

‎jbmc/src/jbmc/CMakeLists.txt.bak

Lines changed: 0 additions & 41 deletions
This file was deleted.

‎jbmc/src/jdiff/CMakeLists.txt.bak

Lines changed: 0 additions & 36 deletions
This file was deleted.

‎src/goto-analyzer/CMakeLists.txt.bak

Lines changed: 0 additions & 38 deletions
This file was deleted.

‎src/goto-cc/CMakeLists.txt.bak

Lines changed: 0 additions & 75 deletions
This file was deleted.

‎src/goto-diff/CMakeLists.txt.bak

Lines changed: 0 additions & 39 deletions
This file was deleted.

‎src/goto-harness/CMakeLists.txt.bak

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎src/goto-instrument/CMakeLists.txt.bak

Lines changed: 0 additions & 40 deletions
This file was deleted.

0 commit comments

Comments
 (0)