all-templates/ has to really encompass all templates, not just plugins
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 15 Mar 2013 09:02:06 +0000 (10:02 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 15 Mar 2013 09:02:06 +0000 (10:02 +0100)
commit2d486f53c3e3acb881ddca8e3625f4dee7bc81f7
treea3568142ea01b53f60372f9cd08eae326a0ffedb
parent00d3a223f16d317ab3cc95e36f34db108248f968
all-templates/ has to really encompass all templates, not just plugins
Makefile