diff options
| author | Jakob Kaivo <jkk@ung.org> | 2022-03-28 10:24:52 -0400 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2022-03-28 10:24:52 -0400 |
| commit | 16b13691833e65f6e0cb77d27bccf87ef7da3435 (patch) | |
| tree | 0c7200920ff0f66a71d7bc2fd88958d3f2ec76bc /miralib/ex/makebug.m | |
| parent | 0701bc4cf61fd4a58889b5b68c308621263de5d1 (diff) | |
replace singleton() and file viewing in menudrive() with view_file()
Diffstat (limited to 'miralib/ex/makebug.m')
0 files changed, 0 insertions, 0 deletions