CVS Commit: FAC dist/sup/fac.amd64_u1404 by baird

[Jeff Baird]

Update of /afs/cs.cmu.edu/project/fac-cvs/dist/sup/fac.amd64_u1404
In directory mizar.fac.cs.cmu.edu:/afs/cs.cmu.edu/project/fac-master/dist/sup/fac.amd64_u1404

Modified Files:
	list 
Log Message:
exec trigger to turn off SSLv3