diff --git a/.gitignore b/.gitignore index 4a610ba1..586997a2 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ *.swp *.pmc +*.bc .STD_build_stamp .STD_checkout_stamp STD_checkout