diff options
| author | Gilles Roudière <gilles.roudiere@gmail.com> | 2022-10-11 14:40:12 +0200 |
|---|---|---|
| committer | Gilles Roudière <gilles.roudiere@gmail.com> | 2022-10-13 12:23:49 +0200 |
| commit | bf1a40c168b415925dd74bee6be5e41adb79b185 (patch) | |
| tree | 6af7b6408ab5be6f999aeaa3677829ab31a6d4cd /editor | |
| parent | 5aadc618b6ff152dbc0ca4ea901c34a97e164091 (diff) | |
Make String.simplify_path keep the protocol identifier for urls
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions