diff .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
line wrap: on
line diff