mirror of
git://git.suckless.org/dmenu
synced 2025-12-17 04:33:09 +01:00
applied Michał Janeczek dmenu patch, made dmenu match case-insensitive by default, added -i command line option to enable ido matching, added Michał to Copyright holders
This commit is contained in: