diff options
| author |   Romain Forlot <romain.forlot@iot.bzh> | 2017-09-24 12:01:37 +0200 |
|---|---|---|
| committer | Romain Forlot <romain.forlot@iot.bzh> | 2018-10-15 18:22:47 +0200 |
| commit | e08c9b3a5681cd56293f2245ac049525c5a69b0e (patch) | |
| tree | 2a897b5ed99dfe286ad37b04134206917ca079f8 /docs/dev_guide | |
| parent | f3ada4c77a609f3057c8dd0dbeae59f5159aad86 (diff) | |
Make use of LibEfence optional
Change-Id: I22b52611dab0be6021b08d6c6d63bc369df0b4d4
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'docs/dev_guide')
0 files changed, 0 insertions, 0 deletions