Merge branch 'master' of github.com:mortberg/cubicaltt into torsor
authorRafaël Bocquet <rafael.bocquet@ens.fr>
Thu, 21 Apr 2016 14:33:08 +0000 (16:33 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Thu, 21 Apr 2016 14:33:08 +0000 (16:33 +0200)

Trivial merge