diff options
author | Ole Troan <ot@cisco.com> | 2020-09-15 11:37:16 +0200 |
---|---|---|
committer | Andrew Yourtchenko <ayourtch@gmail.com> | 2020-09-16 09:18:54 +0000 |
commit | f916414b383afd37ec78509ee613df8878160406 (patch) | |
tree | a9088735479cbdaf43c90816c95404a995423747 /docs/gettingstarted | |
parent | 62bd50de97cd90cc09559a09fe46f98211279a1e (diff) |
api: clean up use of deprecated flag
The syntax of the deprecated flag has evolved.
Clean up usage to be "option deprecated;".
Type: fix
Signed-off-by: Ole Troan <ot@cisco.com>
Change-Id: If2b639f275eb8db58b36c457f9245fe35a4d8cb1
Diffstat (limited to 'docs/gettingstarted')
0 files changed, 0 insertions, 0 deletions