diff --git a/.gitignore b/.gitignore index 773bfd6..43a11dd 100644 --- a/.gitignore +++ b/.gitignore @@ -6,7 +6,7 @@ *.exe *.o *.so - +*.K # Packages # ############ # it's better to unpack these files and commit the raw source