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 /extras/gdb | |
| 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 'extras/gdb')
0 files changed, 0 insertions, 0 deletions