aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-06-25 12:08:52 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-06-25 12:08:52 +0200
commit591bede0899d3dd11f019af07251c32c3dada24b (patch)
treeefa34f1a40e90a664a605a728805cb083c6d339d
parentfbf142ebb12fdbe24cee5e3fb763b7cd7ea1785b (diff)
Update example command
-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