Closed heidecjj closed 5 years ago
In GitLab by @heidecjj on Jan 5, 2019, 15:11
mentioned in commit c9a456212046183f06c030ffe9e006fb3ddef1f9
In GitLab by @heidecjj on Jan 15, 2019, 15:15
closed via commit c9a456212046183f06c030ffe9e006fb3ddef1f9
In GitLab by @heidecjj on Jan 15, 2019, 15:15
closed via merge request !18
In GitLab by @heidecjj on Jan 15, 2019, 15:15
mentioned in commit a51aaa6264ca151ed9e5defbc49c452771250ed9
In GitLab by @heidecjj on Jan 5, 2019, 14:34
Short options can only have one character, not multiple. Some of our command line options try to use multiple characters for their shortened option.