SomeNet / public repos / pub / jan / aic18.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e024d77 ef96c0e)
Merge branch 'fix-ports' into 'master'
authorMichael Winsauer <e1429715@student.tuwien.ac.at>
Sat, 3 Nov 2018 16:47:00 +0000 (17:47 +0100)
committerMichael Winsauer <e1429715@student.tuwien.ac.at>
Sat, 3 Nov 2018 16:47:00 +0000 (17:47 +0100)
Fix Vagrant's forwarded ports

See merge request aic18/G6T4!3


Trivial merge