From 09d1171d8d0b16f945df32ff4543c0a8baf4bb22 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Mon, 8 Jan 2024 23:34:14 +0100 Subject: Update references to website and repository The website is now at https://dillo-browser.github.io/ and the repository at https://github.com/dillo-browser/dillo. --- doc/user_help.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'doc/user_help.html') diff --git a/doc/user_help.html b/doc/user_help.html index 789a0b5f..dd32b107 100644 --- a/doc/user_help.html +++ b/doc/user_help.html @@ -78,7 +78,7 @@ appearance or behaviour, look at the options in your dillorc file (if you don't have a copy in your ~/.dillo/ directory, get it - here). + here).
  • Clicking the "Reload" button always requests an end-to-end reload of the page currently viewed, but it will *not* reload embedded @@ -208,7 +208,7 @@

    With a - ~/.dillo/domainrc + ~/.dillo/domainrc file, you can control how dillo handles automatic requests for resources (like images and style sheets) that aren't at the same domain as the original page. @@ -263,7 +263,7 @@

    Bookmarks are handled by the Dillo plugin - (dpi) framework. + (dpi) framework. This should be transparent to the end user. Please note that: