summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorlouiz’ <louiz@louiz.org>2018-03-12 01:12:49 +0100
committerlouiz’ <louiz@louiz.org>2018-03-12 01:12:49 +0100
commit8fa050abb29b54b4a8e0286b0be859400fb963b9 (patch)
tree59974c09ee647e1f8e1f929c6f9c37ea0db05226 /doc
parentb4a01758b02c4bb022d7a8cf7981de0e0cbc6ab2 (diff)
downloadbiboumi-8fa050abb29b54b4a8e0286b0be859400fb963b9.tar.gz
biboumi-8fa050abb29b54b4a8e0286b0be859400fb963b9.tar.bz2
biboumi-8fa050abb29b54b4a8e0286b0be859400fb963b9.tar.xz
biboumi-8fa050abb29b54b4a8e0286b0be859400fb963b9.zip
Little doc typo
Diffstat (limited to 'doc')
-rw-r--r--doc/biboumi.1.rst2
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.