diff options
| author | Eduardo Julian | 2022-06-12 20:05:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-12 20:05:43 -0400 |
| commit | 1643be20cb10baf3cabcab502f0013b7faebe322 (patch) | |
| tree | 4b4f4619921bf5749e404e7f644e5dfe30d69055 /documentation/bookmark/tool | |
| parent | 94c0bc5d12ed44540543bd6772d357baeb32bb45 (diff) | |
Generalized macro-let.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions