Default port now 4242 everywhere (#14)

This commit is contained in:
Ferdinand Schober
2023-06-11 21:54:40 +02:00
committed by GitHub
parent f0d70492c5
commit b74f1b4291
4 changed files with 8 additions and 8 deletions

View File

@@ -26,7 +26,7 @@ Where `left` can be either `left`, `right`, `top` or `bottom`.
### Additional options
Additionally
- a preferred backend
- a port override for the default port (2020)
- a port override for the default port (4242)
can be specified.