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)
commitd605bcab2509fc2f9c6c5f1fae740d0e8c061a62
tree9ceb52b4f7e5d52439034a96c6df850bd2cf2454
parent9df91974270bdab09df4c08a94108a4cfac0d187
parenta107b7c5a20205527752fb43dcfb82d803a8c79c
Merge commit 'local_master/master'
PLCAPI.spec