Skip to content
Snippets Groups Projects
user avatar
ck authored
The device configuration widget is now the only place the user
ever has to specify ports.
378ad4de
History