3 commits

Author	SHA1	Message	Date
Evert Pot	ed4cc7f5f3	The commit everybody hates. Cleaned up everything for CS and automating CS checking.	2016-03-12 20:19:06 -05:00
Jérôme Schneider	d223f2fa30	Updated Baïkal Website URL ... Former-commit-id: 6b8184883c	2013-07-07 16:28:34 +02:00
Jérôme Schneider	8e83caa0ef	Flake and Formal are now integrated in Baïkal (not submodules anymore). ... Former-commit-id: 56ae2fdc62	2012-11-19 13:49:51 +01:00