Merge commit 'origin/master'
authorroot <root@blitz.inria.fr>
Tue, 16 Nov 2010 20:01:55 +0000 (21:01 +0100)
committerroot <root@blitz.inria.fr>
Tue, 16 Nov 2010 20:01:55 +0000 (21:01 +0100)
commit0803b46c4d204e5f0783026a201c09d4103118ef
treec1efd5cce31d19b58473024e3bc5f8843fc54a30
parent7632d269b1171daea9402e83b1057f9107769c3f
parent2a525d30691f94fa66dcfcb350bd9e979260de6b
Merge commit 'origin/master'
PLCAPI.spec