diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-06-25 12:08:52 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-06-25 12:08:52 +0200 |
| commit | 591bede0899d3dd11f019af07251c32c3dada24b (patch) | |
| tree | efa34f1a40e90a664a605a728805cb083c6d339d /.gitignore | |
| parent | fbf142ebb12fdbe24cee5e3fb763b7cd7ea1785b (diff) | |
Update example command
Diffstat (limited to '.gitignore')
| -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 |