replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add ansi-c/converter_input.txt to .gitignore

This commit is contained in:
Lukasz A.J. Wrona 2019-10-16 22:28:26 +01:00
parent 77076056e6
commit 9cf5be3ee6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -28,6 +28,7 @@ Release/*
*.obj
*.a
*.lib
src/ansi-c/converter_input.txt
src/util/version.cpp
src/ansi-c/arm_builtin_headers.inc
src/ansi-c/clang_builtin_headers.inc