diff options
-rw-r--r-- | .gitignore | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -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 |