Merge branch 'tmp-pdf'
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 29 Jun 2012 08:58:54 +0000 (10:58 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 29 Jun 2012 08:58:54 +0000 (10:58 +0200)
commit45e7d08515e7713e8d057e3f958dd837f5a2a322
treec01597598ce093819f866ca712b5d2dcc4637929
parentcdb73f82f9e0c9e828c0dbbf5a793d51dbabfffc
parent9f731109bf3be4c02475c6f56d5e4319281e3e76
Merge branch 'tmp-pdf'