diff options
| author | Yuchen Pei <id@ypei.org> | 2024-05-23 21:16:09 +1000 |
|---|---|---|
| committer | Yuchen Pei <id@ypei.org> | 2024-05-23 21:16:09 +1000 |
| commit | 24facac76e1b32248e4fde00d9418efa55f77886 (patch) | |
| tree | cde83bf0a85d010045eb1008873a2ea716cb067d /firefox/extensions/org-protocol.user.js | |
| parent | ba0adb67f9a96ea34042ab55e2823868b15ef6ee (diff) | |
[emacs] more smooth experience in gud
- auto confirm debuginfod
- write to history on kill
Diffstat (limited to 'firefox/extensions/org-protocol.user.js')
0 files changed, 0 insertions, 0 deletions