diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-06-15 14:58:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-15 14:58:05 +0200 |
| commit | 3942ea68a8e54d06795389ec87545b14dd84a93f (patch) | |
| tree | 8877d42c58edb4f66159e61cb04adb39f77aa78f /doc/tools/makerst.py | |
| parent | 91d6382786ca0bd0aedb9c3a259db7593738f7ca (diff) | |
| parent | 709e71ae9c050a5b28b662d885d24acf31853a80 (diff) | |
Merge pull request #49604 from pfertyk/issue-49453-wrong-recent-directory-names
Remove trailing slash from recent dir if needed
Diffstat (limited to 'doc/tools/makerst.py')
0 files changed, 0 insertions, 0 deletions