Revision 1484154

Jump to revision:
Author:	tv
Date:	Mon Jan 27 19:40:27 2020 UTC (4 years, 2 months ago)
Changed paths:	1
Log Message:	add more BRs SILENT

Changed paths

Path	Details
cauldron/ocaml-lambda-term/current/SPECS/ocaml-lambda-term.spec	modified , text changed