diff options
| author |   fmenguy <francoisregis.menguy@orange.com> | 2019-03-22 14:21:25 +0100 |
|---|---|---|
| committer | fmenguy <francoisregis.menguy@orange.com> | 2019-03-28 15:07:29 +0100 |
| commit | 14020b73cf334c303bcb1a0375fdee6b2119bc70 (patch) | |
| tree | 5cd6abb30231889a5c722530f1bc80c4cbd810a3 /docs/conf.py | |
| parent | 88254acfd35a6db2176a857d1a74591c9f337841 (diff) | |
Add possibility to restart TRex in case of config change or forced it with config flag
Change-Id: I40473eac355b76655220d48062eff851cc4eebc3
Signed-off-by: fmenguy <francoisregis.menguy@orange.com>
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions