diff options
| author | Eduardo Julian | 2021-09-14 01:39:53 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-14 01:39:53 -0400 |
| commit | bca1a9cdcf837e184378d5e6339a969e40d1dbab (patch) | |
| tree | bdc85e9a635f7d6bc27de5f34de924504845806f /documentation/bookmark/compilation | |
| parent | 0797dfc9ebb32e5eb324eec58e1e4b1c99895ce7 (diff) | |
Re-named "name_of" to "symbol".
Diffstat (limited to 'documentation/bookmark/compilation')
0 files changed, 0 insertions, 0 deletions