clean up unused SetRole() in 000-functions
authorparmentelat <thierry.parmentelat@inria.fr>
Thu, 13 Dec 2018 15:17:14 +0000 (16:17 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Thu, 13 Dec 2018 15:17:14 +0000 (16:17 +0100)

No differences found