fix search terms starting with \d+ in sh/log etc
authorDirk Koopman <djk@tobit.co.uk>
Sat, 4 Feb 2023 12:13:47 +0000 (12:13 +0000)
committerDirk Koopman <djk@tobit.co.uk>
Sat, 4 Feb 2023 12:13:47 +0000 (12:13 +0000)

No differences found