diff options
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -69,8 +69,8 @@ Makefile.in /tests/test*.trs # Code analysis tools: -/.sv*-dir/ -/cov-int/ +/.sv*-dir +/cov-int /pvs-project.log /pvs-project.tasks /strace_out |
![]() |
index : delta/libatomic_ops.git | |
| github.com: ivmai/libatomic_ops.git |
| summaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 4 |
@@ -69,8 +69,8 @@ Makefile.in /tests/test*.trs # Code analysis tools: -/.sv*-dir/ -/cov-int/ +/.sv*-dir +/cov-int /pvs-project.log /pvs-project.tasks /strace_out |