SomeNet / public repos / pub / jan / aic18.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 57fc2f6 f6a734d)
Merge branch '30-fix-reporting-port' into 'master'
authorJan Vales (Someone) <jan.vales@tuwien.ac.at>
Sun, 25 Nov 2018 19:20:08 +0000 (20:20 +0100)
committerJan Vales (Someone) <jan.vales@tuwien.ac.at>
Sun, 25 Nov 2018 19:20:08 +0000 (20:20 +0100)
fixed port

Closes #30

See merge request aic18/G6T4!21


Trivial merge