diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-10-15 14:40:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-15 14:40:40 +0200 |
| commit | 5bc0e4081bbfa077567e1d94b760f81c63eb3392 (patch) | |
| tree | cc47866bf0d6c8b07036b5c19f16b1a63e0b3b54 /doc | |
| parent | e53e897b8c70cef11a2a0b13edbad9f038f26e58 (diff) | |
| parent | 7e435fa84195e18b72abf8a06d7fc014275cbd7d (diff) | |
Merge pull request #53753 from EricEzaM/fix-shortcut-saving
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions