summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2c37d11..7547e09 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,4 @@
/mp11-boost-1.82.0.zip
/re2-2022-06-01.zip
/SafeInt-3.0.28.zip
+/GSL-4.0.0.zip