Added config to snavig.pl to specify GNU sed.
authorAdam Thornton <athornton@gmail.com>
Wed, 13 Apr 2022 00:47:43 +0000 (17:47 -0700)
committerDavid Griffith <dave@661.org>
Wed, 13 Apr 2022 20:23:14 +0000 (13:23 -0700)
commit38dd1f78bf94af475330bcc9cf7bdcdde683c8d0
tree6ee4c286e4c39f5715e2b5341593e9ebc1a3ad0e
parenta25a6ca354152600b784c1c7f24c523b6a7d65f2
Added config to snavig.pl to specify GNU sed.
src/misc/snavig.pl