projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70046d3) | patch
Adding config/tap-driver.sh to .gitignore (#1792)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 19 Apr 2018 22:42:39 +0000 (15:42 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Apr 2018 22:42:39 +0000 (15:42 -0700)
commit9b062e5b7e8478d78dabaf60701d647b7aaa9b6e
tree07746351f8083fbe0fdcab5e6c2dcfb2a0877fe9tree
parent70046d35f2aff41867cbb6490e5bf6d026dc55a1commit | diff
Adding config/tap-driver.sh to .gitignore  (#1792)

#1791 removed config/tap-driver.sh from the repo, as ./autogen.sh adds it automatically.
The current PR prevents this file from being added to the untracked changes list when doing git status.
.gitignore diff | blob | history