Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
Merge branch '23-server-command' into 'master'
Georg Krause authored 
Fix #23: Missing server command

Closes #23

See merge request !19
fd49c3d9
History
user avatar fd49c3d9
History
Name Last commit Last update