Georges Dupéron f3941c4f5b Switched to shields.io badges, for consistency and to add the [docs|online] badge.		2016-01-21 12:42:36 +01:00
..
index.scrbl	Switched to shields.io badges, for consistency and to add the [docs|online] badge.	2016-01-21 12:42:36 +01:00