Add PLC_HRN_ROOT to usual config variables
authorMohamed Larabi <mohamed.larabi@inria.fr>
Tue, 12 Nov 2013 16:28:26 +0000 (17:28 +0100)
committerMohamed Larabi <mohamed.larabi@inria.fr>
Tue, 12 Nov 2013 16:28:26 +0000 (17:28 +0100)

No differences found