diff options
author | Eduardo Julian | 2021-05-30 10:57:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-05-30 10:57:38 -0400 |
commit | 0415afc6a1cac2cbcb5525d4102021a598bb39cf (patch) | |
tree | 5101861071ad04114e4fdc5d1ef7af342763cc5b /documentation/bookmark/user_interface | |
parent | 6e0eb104c7682ea11692ecb66a186898ae6e706f (diff) |
Getting the name of a path is no longer a fundamental File operation.
Diffstat (limited to 'documentation/bookmark/user_interface')
0 files changed, 0 insertions, 0 deletions