diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-10-25 20:29:26 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-10-25 20:29:26 +0100 |
commit | e3cb0cc1f85a9de67b61c7c052bec9d8357fac0c (patch) | |
tree | ece294f8580e77bf92b01d008d81114c44ce3689 /docs | |
parent | c612ab35e1081bd37085f6676e8431669b1eed8a (diff) |
re-enable bookmarks script, make builtin-bookmarking compatible + allow reloading config without reloading home page
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions