3 commits

Author	SHA1	Message	Date
Gabriel Ebner	3f19d757cb	veriT: disable broken static linking	2016-05-08 15:11:29 +02:00
Gabriel Ebner	0349b05695	veriT: 201410 -> 201506	2015-08-26 09:31:39 +02:00
Gabriel Ebner	20428cd90f	Add veriT.	2015-03-31 09:14:38 +02:00