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)
commit1d7a5a0856302eb14cd4f0fca77881f213da8d25
treeb6067e2b94587be3cf88f1ce0f9b30443211ace0
parent93cb09812f727111bfd0bbdc32d2f94aab5eddb4
Add PLC_HRN_ROOT to usual config variables
bin/plc-config-tty
default_config.xml