Merge commit 'local_master/master'
authorroot <root@blitz.inria.fr>
Thu, 2 Sep 2010 14:23:02 +0000 (16:23 +0200)
committerroot <root@blitz.inria.fr>
Thu, 2 Sep 2010 14:23:02 +0000 (16:23 +0200)
1  2 
PLCAPI.spec

diff --cc PLCAPI.spec
Simple merge