diff options
author | Jakob Kaivo <jkk@ung.org> | 2022-03-28 16:35:55 -0400 |
---|---|---|
committer | Jakob Kaivo <jkk@ung.org> | 2022-03-28 16:35:55 -0400 |
commit | 84695a80b3704b18568d159f150f8435b8646114 (patch) | |
tree | 8e6061fe4429ca1f31a9393fb855bee587bf9e60 /miralib/ex/edigits.m | |
parent | fba0a90c7d18a2350d3a5f5da1d9b47c7763d557 (diff) |
rename bigplus() to big_add()
Diffstat (limited to 'miralib/ex/edigits.m')
0 files changed, 0 insertions, 0 deletions