From: Paul Hänsch <paul@plutz.net>
Date: Fri, 22 Sep 2023 13:27:40 +0000 (+0200)
Subject: case insensitive search
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=368ca204df61a5e24c71d4697746603e2dcc94d5;hp=368ca204df61a5e24c71d4697746603e2dcc94d5;p=shellwiki

case insensitive search
---