Implement command line interface for remote submission #20
Merged
jan-janssen merged 26 commits intomasterfrom cmdSep 11, 2019
+467-13
Commits
Commits on Sep 9, 2019
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
Commits on Sep 10, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed