SomeNet / public repos / pub / jan / aic18.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f533845 287ac31)
Merge branch '19-make-docker-port-consistency' into 'master'
authorJan Vales (Someone) <jan.vales@tuwien.ac.at>
Sun, 25 Nov 2018 17:05:33 +0000 (18:05 +0100)
committerJan Vales (Someone) <jan.vales@tuwien.ac.at>
Sun, 25 Nov 2018 17:05:33 +0000 (18:05 +0100)
Resolve "Make docker port consistency"

Closes #19

See merge request aic18/G6T4!15


Trivial merge