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)
commit87e18d743c775fc8f3dfb3972e183567d940e7c6
treef1785040af7988a6b1a746b54e67981b4163bdf0
parent7237e6992ba787e6c52b9ada9e2978fb4b913414
clean up unused SetRole() in 000-functions
db-config.d/000-functions