diff options
-rw-r--r-- | tests/rand/.gdbinit | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/tests/rand/.gdbinit b/tests/rand/.gdbinit deleted file mode 100644 index d37d67f05..000000000 --- a/tests/rand/.gdbinit +++ /dev/null @@ -1,14 +0,0 @@ -define pz -set __gmpz_dump ($) -end - -define pq -set __gmpz_dump ($->_mp_num) -echo / -set __gmpz_dump ($->_mp_den) -end - -define pf -set __gmpf_dump ($) -end - |