remove extraneous sequel from merge
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 5 Sep 2012 11:49:06 +0000 (13:49 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 5 Sep 2012 11:49:06 +0000 (13:49 +0200)
commit0f3f85631e5c6f9b4be1720eaebeb8450aa7d1c2
treebd1574629eeae0843bbf240c9c8b700befca1d16
parent8706009e555bb9fa04a5679e4be2c7c67506802b
remove extraneous sequel from merge
planetlab/exp-tool/Makefile