tree 9408136758f13bbc0ceb8da97419c2d1c62f941d
parent cfbe25b7b07695fca8fb2f83a36e23eb4fa3d595
author Bodmo <Bodmer@ids-mannheim.de> 1699370514 +0100
committer Franck Bodmer <bodmer@ids-mannheim.de> 1699463983 +0100

Issue #160: bad handling of the ',' in #BED(searchexpr,options) corrected.

Change-Id: I159d252a25b6b2e526cea4d0d2d834258848d9b9