Laurent Rineau 39d4793af6 Remove platforms that are now handled by Docker containers		2015-11-09 13:06:43 +01:00
..
boost	Update the script that help compiling Boost	2013-12-10 17:33:44 +01:00
reference-platforms	Disable VTK with -ansi	2015-10-19 16:30:08 +02:00
.autocgalrc	Remove platforms that are now handled by Docker containers	2015-11-09 13:06:43 +01:00