diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-08-04 01:15:36 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-08-04 01:15:36 +0200 |
| commit | 704f15f68770b047b2106966dd8bc9be46fc55f4 (patch) | |
| tree | d086e9099698b89e029c668af21a9d31541a3397 /.gitignore | |
| parent | 88c3d2a1c8ce5d2076d8088f424ef2ce96e1cf6a (diff) | |
Correct false comments
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -11,7 +11,9 @@ oryx # Test files. Partially autogenerated with the following: # -# ./make; find test -type f -executable +# ./make +# find test -type f -executable -not -name '*.sh' \ +# >>.gitignore # test.* test/arena @@ -19,7 +21,7 @@ test/arena # Compilation artifacts of GNU MP. Autogenerated with the following: # # git status --porcelain | sed -n '/^?? vendor/s/?? //p' \ -# >>.3.0/.gitignore +# >>.gitignore # vendor/gmp-6.3.0/.libs/ vendor/gmp-6.3.0/Makefile |