grepDb.pl: Use parse mode 'extended'
authorBernhard.Kuner@bessy.de
local dateThu, 28 Oct 2021 14:13:01
dateThu, 28 Oct 2021 12:13:01
hashcc2b4bdaca002aa2f0cd7e0f9a4941cbc0ad4554
1 file(s) changed:
bin/grepDb.pl +3 -2