diff options
| author | Eduardo Julian | 2023-01-04 18:37:14 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2023-01-04 18:37:14 -0400 |
| commit | 3ca054b6b992e2233d763aabc5c938ee10d116a4 (patch) | |
| tree | 90b93c5a922fa312331f33cc4c93962c76db4636 /documentation/bookmark/tool/text_editor | |
| parent | ad1391ea1cdd33167339d25dbff2567f5a8d5c68 (diff) | |
Added simple machinery for aliasing of definitions.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions