summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 0eab78b4..9b9f4c85 100644
--- a/.gitignore
+++ b/.gitignore
@@ -78,3 +78,6 @@ docs/SOURCE/html/*
# patch files created by git
[0-9][0-9][0-9][0-9]-*.patch
+
+# static libraries
+*.a \ No newline at end of file