move a k22-dependant setting where it belongs
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 20 Jun 2011 08:48:46 +0000 (10:48 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 20 Jun 2011 08:48:46 +0000 (10:48 +0200)
commit792bd96bfa4ef021506428c20d124799880ccea9
tree1435ccff10941ae1ca34d458e8da5d16878b38ff
parent9d3d34205b52a32dd0dd9717bff9b2541168e7f3
move a k22-dependant setting where it belongs
onelab-k22-tags-deprecated.mk
onelab.mk