diff options
| -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 |