daformat/cryptris — pull request #57 by daformat (2014-06-15 08:14:23+00:00)
Title: Replace each daformat.github.io/* url with it's inriamecsci.github.io equivalent

Please also merge this into master.