diff options
author | Eduardo Julian | 2021-09-14 02:56:22 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-14 02:56:22 -0400 |
commit | 971767f1eafb22208912353d8709f11081f2d3c8 (patch) | |
tree | 9b043f1238af49a33c1a625d737c9f0e1abb6e99 /documentation/bookmark/compilation | |
parent | 1c93f003f73116202b1f964b0d1b6d3f07b69fb0 (diff) |
Re-named "Identifier" to "Symbol".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions