get rid of k22
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Jun 2011 13:23:48 +0000 (15:23 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Jun 2011 13:23:48 +0000 (15:23 +0200)
commit7e3f1d9bb9ae6773125bd626fe20c132f9a667c7
treebec740278b302fa065842f8307bf4cecf3213a30
parent74d288080d356a840d448cbf0abee8b7b6d4076f
get rid of k22
modules.update