fix nitos rspecs : nitosv1Sliver
authorMohamed Larabi <mohamed.larabi@inria.fr>
Wed, 23 Oct 2013 13:01:57 +0000 (15:01 +0200)
committerMohamed Larabi <mohamed.larabi@inria.fr>
Wed, 23 Oct 2013 13:01:57 +0000 (15:01 +0200)

No differences found