diff options
| author | Jakob Kaivo <jkk@ung.org> | 2022-03-28 16:49:13 -0400 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2022-03-28 16:49:13 -0400 |
| commit | 0c061784519c069853ba9e9794fc4ec41d0668f9 (patch) | |
| tree | 0f6f2732d5319bb8a5df36ee875d63653183ac1e /miralib/manual/13 | |
| parent | b7220bcd1a054872e081afc77b305f0247bf3f98 (diff) | |
rename bigzero() to big_is_zero()
Diffstat (limited to 'miralib/manual/13')
0 files changed, 0 insertions, 0 deletions