diff options
| author | louiz’ <louiz@louiz.org> | 2018-03-12 01:12:49 +0100 |
|---|---|---|
| committer | louiz’ <louiz@louiz.org> | 2018-03-12 01:12:49 +0100 |
| commit | 8fa050abb29b54b4a8e0286b0be859400fb963b9 (patch) | |
| tree | 59974c09ee647e1f8e1f929c6f9c37ea0db05226 | |
| parent | b4a01758b02c4bb022d7a8cf7981de0e0cbc6ab2 (diff) | |
| download | biboumi-8fa050abb29b54b4a8e0286b0be859400fb963b9.tar.gz biboumi-8fa050abb29b54b4a8e0286b0be859400fb963b9.tar.bz2 biboumi-8fa050abb29b54b4a8e0286b0be859400fb963b9.tar.xz biboumi-8fa050abb29b54b4a8e0286b0be859400fb963b9.zip | |
Little doc typo
| -rw-r--r-- | doc/biboumi.1.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/biboumi.1.rst b/doc/biboumi.1.rst index 3cb379b..988c14c 100644 --- a/doc/biboumi.1.rst +++ b/doc/biboumi.1.rst @@ -628,7 +628,7 @@ On a server JID (e.g on the JID chat.freenode.org@biboumi.example.com) if one endpoint for that server is dead, but continue using the same JID. For example, a user could configure the server “freenode@biboumi.example.com”, set “chat.freenode.net” in its - “Address” field, and then they would be able to user “freenode” as + “Address” field, and then they would be able to use “freenode” as the network name forever: if “chat.freenode.net” breaks for some reason, it can be changed to “irc.freenode.org” instead, and the user would not need to change all their bookmarks and settings. |