INRIA/spoon — pull request #116 by GerardPaligot (2014-12-05 08:36:25+00:00)
Title: Improves home page of the website

- Adds github ribbons on the top left in each page.
- Adds a global variable to access at the release and snapshot versions.
- Improves contributing section to specify the mailing list.