diff options
| author | Linus Nordberg <linus@nordberg.se> | 2000-04-17 01:56:52 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2000-04-17 01:56:52 +0200 |
| commit | 4df128232c43b3c89664d7fd5d60b9c887406a5a (patch) | |
| tree | cb5f5322df78f5ef501fc4a91e7d2e6400f42d6e | |
| parent | 8a0f5bda21e0dd14e60484ef52a7eda83c5cc0fb (diff) | |
| download | gmp-4df128232c43b3c89664d7fd5d60b9c887406a5a.tar.gz | |
*** empty log message ***
| -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 - |