snape pushed a change to branch master.
from fb11e79 database: Fix the evaluations limit issue.
new 7d7f683 doc: Fix database description.Summary of changes: doc/cuirass.texi | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)
