remote distros can be defined with a config.<pldistro>.gitpath
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 26 May 2010 17:35:44 +0000 (19:35 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 26 May 2010 17:35:44 +0000 (19:35 +0200)
commit9e08266a1b63959cc027674c7d40ad5fc5e14528
tree4903e53148ba82a270daae73f2b589a8944bade8
parentcda5b4aaca8b22f52878a71b85ec3970c5ce08be
remote distros can be defined with a config.<pldistro>.gitpath
Makefile