diff options
author | Eduardo Julian | 2022-07-03 20:07:40 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-03 20:07:40 -0400 |
commit | 9a9b2493a8eda60f08809b4cb1e5bc49c5c3600c (patch) | |
tree | e5c47f1d63583fd25a3d04eca4f6b65730ef37b8 /documentation/bookmark/tool/text_editor | |
parent | 700628f36e1ac846f007cec855b0f9ecdbb66c80 (diff) |
Re-named "do_to" to "to".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions