diff options
author | 2015-11-20 15:38:46 +0100 | |
---|---|---|
committer | 2015-11-20 15:38:46 +0100 | |
commit | 2918dd466ef6a8e526698ca3f1bc7f9b793f2824 (patch) | |
tree | 97a0a2df0c445c2e90b85ee1a1100b07cf18869a /docs | |
parent | b4e1e3ac15988512e96200c4528f5423586a4132 (diff) |
Add an init API function to force the reload of the root intra-extension.
Change-Id: Ieee84a30cbd1ee0a5d4ca3359b7f5afbc39afffc
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions