Skip to content
Snippets Groups Projects
Verified Commit 16052278 authored by Miles Vella's avatar Miles Vella
Browse files

add missing build dir to gitignore

parent 15c8ec14
No related branches found
No related tags found
No related merge requests found
...@@ -167,6 +167,7 @@ benchmarks/execution/ProB/stdlib ...@@ -167,6 +167,7 @@ benchmarks/execution/ProB/stdlib
/*.py /*.py
**/Cargo.lock **/Cargo.lock
**/vendor/ **/vendor/
build_cpp/
btypes_primitives/**/*.js btypes_primitives/**/*.js
benchmarks/model_checking/ProB/lib benchmarks/model_checking/ProB/lib
benchmarks/model_checking/ProB/stdlib benchmarks/model_checking/ProB/stdlib
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment