diff options
| author | Eduardo Julian | 2022-06-26 19:37:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-26 19:37:45 -0400 |
| commit | 853d28f803e75d125915a81dcdcd140513efe3d2 (patch) | |
| tree | 41d24b6cb5593b631793efa77f53359e8229ea37 /documentation/bookmark/user_interface | |
| parent | 9f6505491e8a5c8a159ce094fe0af6f4fef0c5cf (diff) | |
Re-named directives to declarations.
Diffstat (limited to 'documentation/bookmark/user_interface')
0 files changed, 0 insertions, 0 deletions