commit | 600396157d17ee33ff5ee2ddc9af3ce9e20dd1c1 | [log] [tgz] |
---|---|---|
author | Vladimir Komsiyski <vladokom@google.com> | Tue Nov 14 15:33:25 2023 +0100 |
committer | Vladimir Komsiyski <vladokom@google.com> | Tue Nov 14 15:37:11 2023 +0100 |
tree | 53464aaa1f3900cd1fb7ffa88741ef07aaba097c | |
parent | f29b9048005bd13e55bb9fcc39d60e955743f310 [diff] |
Remove references to flagged APIs from public VDM docs. Fix: 310901277 Test: n/a Change-Id: I83cbe513370e47bf4fa17dc16fb2f3b81b09bf82