diff options
author | Eduardo Julian | 2022-06-12 02:29:28 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 02:29:28 -0400 |
commit | 9c21fd1f33eb52fb971d493ad21a67036d68b841 (patch) | |
tree | 525d0f841edfa94645317ac905cb69c8a7983a5c /documentation/bookmark/format | |
parent | b48ea68a83d01903554c7696c77eedaaf1035680 (diff) |
Re-named the "poly" hierarchy to "polytypic".
Diffstat (limited to 'documentation/bookmark/format')
0 files changed, 0 insertions, 0 deletions