diff options
| author | Alexander Barton <alex@barton.de> | 2019-07-21 16:23:07 +0200 |
|---|---|---|
| committer | Alexander Barton <alex@barton.de> | 2019-07-21 16:23:07 +0200 |
| commit | e954b59d414fb32b89291514d0d690c9ebabba49 (patch) | |
| tree | 3d29cdd45a909d6c68d3ccb264154084c3481d1f /man | |
| parent | b1893e740e745cc5081ef59719bb10bc5f729fdb (diff) | |
| download | ngircd-e954b59d414fb32b89291514d0d690c9ebabba49.tar.gz ngircd-e954b59d414fb32b89291514d0d690c9ebabba49.zip | |
Fix some typos (documentation files, ngircd.conf manual page, ...)
Spotted by Étienne Mollier <etienne.mollier@mailoo.org> and Christoph Biedl <debian.axhn@manchmal.in-ulm.de>, see Debian bug #932462 (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=932462). Thank you!
Diffstat (limited to 'man')
| -rw-r--r-- | man/ngircd.conf.5.tmpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ngircd.conf.5.tmpl b/man/ngircd.conf.5.tmpl index 1c5a6fa0..33c737fe 100644 --- a/man/ngircd.conf.5.tmpl +++ b/man/ngircd.conf.5.tmpl @@ -432,7 +432,7 @@ Example: nick!ident@*.example.com Other servers are configured in .I [Server] sections. If you configure a port for the connection, then this ngIRCd -tries to connect to to the other server on the given port (active); +tries to connect to the other server on the given port (active); if not, it waits for the other server to connect (passive). .PP ngIRCd supports "server groups": You can assign an "ID" to every server |