Made filename shortening more versatile.
authorDavid Griffith <dave@661.org>
Sat, 29 Jul 2023 04:33:59 +0000 (21:33 -0700)
committerDavid Griffith <dave@661.org>
Sat, 29 Jul 2023 04:33:59 +0000 (21:33 -0700)
commitdd318b9f7091f2c3a0a767ccae50eaa5b4d209a7
tree962a1dbb5047ce1c3b1512487a161818ae5842c5
parent1f80a68d11ccc8b00a84a6b9686b8d313b685173
Made filename shortening more versatile.
src/misc/snavig.pl