comparison .travis.yml @ 5134:b414135235ea

permissions: fix a copy/paste error, rename repository group to user group in tooltip
author Peter Vitt <peter.vitt2@uni-siegen.de>
date Tue, 12 May 2015 22:03:36 +0200
parents a9a1560dad79
children e285bb7abb28
comparison
equal deleted inserted replaced
5133:9b8ba0f1c87b 5134:b414135235ea