diff options
Diffstat (limited to 'cryptominisat5/build/CMakeFiles/git-data/HEAD')
| -rw-r--r-- | cryptominisat5/build/CMakeFiles/git-data/HEAD | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cryptominisat5/build/CMakeFiles/git-data/HEAD b/cryptominisat5/build/CMakeFiles/git-data/HEAD deleted file mode 100644 index cb089cd89..000000000 --- a/cryptominisat5/build/CMakeFiles/git-data/HEAD +++ /dev/null @@ -1 +0,0 @@ -ref: refs/heads/master |