diff options
| author | Eduardo Julian | 2022-11-07 18:52:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-07 18:52:46 -0400 |
| commit | cb572295c9a73330531e07f3f6a92b3bb2434514 (patch) | |
| tree | ae14be0a53235971d897c033879e3d4512ffde68 /documentation/bookmark/compilation/target | |
| parent | 13c594758482bac0a7550bcb89cfeda8c5f0a1f3 (diff) | |
Can now mark definitions as deprecated in their documentation.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions