diff options
| author | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
| commit | 7976268575e7c6910dfba2d2733e8cc1883678e7 (patch) | |
| tree | 0ce156081612235c0df5e2ad9167be3fc5d75c6c /documentation/bookmark/user_interface | |
| parent | 39325bb36c6f6459c861ef12f9e99b9e66b52594 (diff) | |
Re-named the "documentation" macro to "definition".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions