aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-09-15 11:51:08 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2018-09-15 11:51:08 +0200
commit3a88dfc5782c77fd92a18d5824df26848b581ae0 (patch)
tree5008119859d95fbe6175b1343067ce6cbacb36af /man
parent696884fa0d7a5ef93424e182352de8e6fc502af3 (diff)
Add travis badge
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint