Set PLC_HRN_ROOT in plc config
authorMohamed Larabi <mohamed.larabi@inria.fr>
Tue, 12 Nov 2013 15:55:27 +0000 (16:55 +0100)
committerMohamed Larabi <mohamed.larabi@inria.fr>
Tue, 12 Nov 2013 15:55:27 +0000 (16:55 +0100)
commite425f0b8f1d49cf93c42ed72eeb2b3dc57e9c0a9
tree4d9a7214e8e78fc2b93a493ccffd868a10713f4d
parent957bf73e13cfd2f74bcc8cda9ce832b7da06eacf
Set PLC_HRN_ROOT in plc config
system/config_default.py