slicetabinfo: delete slice clears creds
authorYasin Rahman <loic.baron@lip6.fr>
Fri, 3 Apr 2015 09:54:32 +0000 (11:54 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 16 Apr 2015 08:52:20 +0000 (10:52 +0200)

No differences found