diff options
author | Jakob Kaivo <jkk@ung.org> | 2022-03-28 13:56:55 -0400 |
---|---|---|
committer | Jakob Kaivo <jkk@ung.org> | 2022-03-28 13:56:55 -0400 |
commit | 8a13fcc5633a4c0acbf04662bfdcc61fdb6f756c (patch) | |
tree | 8ecfd889eec2068fa57732c392fc96e69230bb14 /miralib/ex/refoliate.m | |
parent | fc8fda1611d7dc2b274a25adbf3f81ffa2a37beb (diff) |
modernize get_int()
Diffstat (limited to 'miralib/ex/refoliate.m')
0 files changed, 0 insertions, 0 deletions