Allow filtering for mixed case strings
authorJoey Schulze <joey@infodrom.org>
Thu, 1 Aug 2019 11:40:36 +0000 (13:40 +0200)
committerJoey Schulze <joey@infodrom.org>
Thu, 1 Aug 2019 11:40:36 +0000 (13:40 +0200)
commit68fd724fa6ffd8d6a300968de845a8fd8e46f86b
treec10d9a7bac40cb97f88808d60645ac373bcd7163
parent023202bf3c4a60d558aa40a3c957c355a808e812
Allow filtering for mixed case strings
src/InfoCon/stempel/status.wml