Setting tag MyPLC-4.3-28
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 20 Oct 2009 12:49:00 +0000 (12:49 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 20 Oct 2009 12:49:00 +0000 (12:49 +0000)
commitd35b85a9e94f514b9694964d2d00ce93b886967b
treef3de8989a283dc47a88c8bef8301f6343852b15b
parent5911e4cf2af695aaa6a1dca30d0f58acc5902d88
Setting tag MyPLC-4.3-28
db-config ignores sliver tags
sirius's db-config script renamed (was sirious)
coblitz-tags.mk
onelab-tags.mk
planetbridge-tags.mk
planetlab-k27-tags.mk
planetlab-tags.mk
trellis-tags.mk