Closed sbarthelemy closed 11 years ago
we should avoid duplication and use consistent names.
See also the comment on this commit https://github.com/laas/metapod/commit/e47cbb442f2183b3152379328e6463578bf7e976
we should avoid duplication and use consistent names.
See also the comment on this commit https://github.com/laas/metapod/commit/e47cbb442f2183b3152379328e6463578bf7e976