diff options
| author | Jonathan LEI | 2023-08-14 23:59:49 +0000 |
|---|---|---|
| committer | GitHub | 2023-08-14 23:59:49 +0000 |
| commit | 3a162e2bef0b8a5ae1045d8b018447c9ed9fde61 (patch) | |
| tree | a52a872baceb04776246e117fae249632e381419 /book/theme/favicon.svg | |
| parent | 085706e0cdd569f36f36875fb6698a197c46ed11 (diff) | |
Make editor remember the latest search register (#5244)
Diffstat (limited to 'book/theme/favicon.svg')
0 files changed, 0 insertions, 0 deletions