diff options
author | 2020-09-15 11:37:16 +0200 | |
---|---|---|
committer | 2020-09-16 12:22:27 +0000 | |
commit | 00f21fb2fed0b6cf10eda45913b98a20e7b4cd3f (patch) | |
tree | 2b0fde302044116bf41fd83e2cbce8b6b6791220 /extras | |
parent | ec7e8d8598d9957e5b87e37bee4ca59a28ccc088 (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
(cherry picked from commit f916414b383afd37ec78509ee613df8878160406)
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions