Fix distcheck

This commit is contained in:
François Grisez 2015-02-11 17:32:06 +01:00
parent ea80131389
commit 7942e7e60a

@ -1 +1 @@
Subproject commit 813284328b2a7af01299c29d441ed0a34af82df7
Subproject commit 4ad81eb516a242bb7f236c2ba0cc8d60182b772f