Merge pull request #224 from stevenvanrossem/master
authorstevenvanrossem <steven.vanrossem@intec.ugent.be>
Thu, 1 Jun 2017 13:50:23 +0000 (15:50 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 1 Jun 2017 13:50:23 +0000 (15:50 +0200)
update son-emu-cli network CLI


Trivial merge