spell them out one by one as {} won't work on debian for some reason
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 26 Mar 2013 17:15:57 +0000 (18:15 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 26 Mar 2013 17:15:57 +0000 (18:15 +0100)
commit0bf9b6554e1a129b4d3acecc8fc58589081547de
tree6134bd958e019d122ff8577267098e7ac3b4ff2a
parent668533f9cb00fd23da95db7bc807e1006ef3dfc1
spell them out one by one as {} won't work on debian for some reason
Makefile