2 new commits pushed to

<https://github.com/jmpsec/osctrl/tree/develop|develop>

by javuto

<https://github.com/jmpsec/osctrl/commit/e92634ee5527179c387a753730d68bbb605bac04|e92634ee>

- Remove osctrl-dev.code-workspace file

<https://github.com/jmpsec/osctrl/commit/f0281b90fa3661df75ea886293a88d3f73105742|f0281b90>

- Merge pull request #948 from jmpsec/remove-workspace-file jmpsec/osctrl