2 Commits (9c3c0d727f7fe336c02e580c57b13f5ab9f29314)

Author	SHA1	Message	Date
Sébastien Villemot	02efbd31a8	Convert files to Unix EOL	2012-06-08 19:10:19 +02:00
Michel Juillard	e0de97878f	added validation test computing Ramsey policy with expecation ... operator; updated build system	2012-04-20 14:06:33 +02:00