aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore5
1 files changed, 2 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index 64fb0bb..45a74dd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,9 +17,8 @@ test/arena
# Compilation artifacts of GNU MP. Autogenerated with the following:
#
-# git status --porcelain \
-# | sed -n '/^?? vendor/s/?? //p' \
-# >vendor/gmp-6.3.0/.gitignore
+# git status --porcelain | sed -n '/^?? vendor/s/?? //p' \
+# >>.3.0/.gitignore
#
vendor/gmp-6.3.0/.libs/
vendor/gmp-6.3.0/Makefile