more consistent matches descriptions v5.4.1
authorMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Sun, 19 Mar 2017 09:48:11 +0000 (10:48 +0100)
committerMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Sun, 19 Mar 2017 09:48:11 +0000 (10:48 +0100)
commitd64e0e2c896d74ba403bc3e924ceafc568d8c82b
tree55a54f1b1a2bd43c23f5f8687602e38b1a45f083
parentbf3f1b6064a7f23cc8e38d69ecc16eb4b3f3e031
more consistent matches descriptions
bin/brisk_explain_update.sh
web/Obj/brisk.phh