diff options
| author | Jakob Kaivo <jkk@ung.org> | 2022-03-28 16:29:19 -0400 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2022-03-28 16:29:19 -0400 |
| commit | e7f58c20306c0ff2878e5251951a77fb60a3b9b2 (patch) | |
| tree | 6a4c0435e694bf8939a95e2fcafd817f13cc4132 /miralib/ex/makebug.m | |
| parent | a7a6a2229eaef80e55b6acaeb1cef4770ca91af2 (diff) | |
rename get_int() big_toll()
Diffstat (limited to 'miralib/ex/makebug.m')
0 files changed, 0 insertions, 0 deletions