diff options
| author | sinanmohd <sinan@firemail.cc> | 2023-07-05 12:02:49 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@firemail.cc> | 2023-07-05 12:02:49 +0530 |
| commit | 4b9029ef427db8379495a10de65bec8b5ac406f4 (patch) | |
| tree | 452e95d260cb9bf6cbab69b08683a7ee518c8240 /menu_run | |
| parent | 37409bbf57cbe87431d90afc62f783b84f856752 (diff) | |
dbook: fail gracefully when bookmarks is empty
Diffstat (limited to 'menu_run')
0 files changed, 0 insertions, 0 deletions