diff options
author | Manuel Haussmann <manuel.haussmann@mailbox.org> | 2021-12-23 10:24:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-23 10:24:25 +0100 |
commit | c81b5512fa0a594e9490a0a3885fe4480fd4990f (patch) | |
tree | 538e3d66f20357be9094ea32ab5f7c20245feb79 | |
parent | f0da03266c6c3eee6d1defc64e9651e539ae1be9 (diff) |
update ranger link (#354)
The ranger website has been updated.
-rw-r--r-- | doc/source/default-settings.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source/default-settings.rst b/doc/source/default-settings.rst index 04a7b5cc..b614c39b 100644 --- a/doc/source/default-settings.rst +++ b/doc/source/default-settings.rst @@ -123,7 +123,7 @@ Tools options As for now papis is not intended to detect the type of document to be opened and decide upon how to open the document. You should set this to the right program for the tool. If you are on linux you might want - to take a look at `ranger <http://ranger.nongnu.org>`_ or let + to take a look at `ranger <http://ranger.github.io>`_ or let the default handle it in your system. For mac users you might set this to ``open``. |