Merge pull request #264 from mpeuster/dev/emu_cmd_rest v3.1
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 29 Nov 2017 11:44:41 +0000 (12:44 +0100)
committerGitHub <noreply@github.com>
Wed, 29 Nov 2017 11:44:41 +0000 (12:44 +0100)
commit88433ae02d8b5b4b62e4b17562108b26a3ac80ba
tree6d46261d36622dbceef8df213bf2e036fb63d0c0
parent5db5b0ac71d495c633a49c6684d8e4c15ae4988c
parent3218d1c59f89f28210d692ab97a818c27f3ee1b6
Merge pull request #264 from mpeuster/dev/emu_cmd_rest

Added SON_EMU_CMD functionality to REST API.