aboutsummaryrefslogtreecommitdiffstats
path: root/libs
diff options
context:
space:
mode:
authorDaniel Gultsch <daniel@gultsch.de>2016-10-06 18:09:55 +0200
committerDaniel Gultsch <daniel@gultsch.de>2016-10-06 18:09:55 +0200
commit40e5090bdd4c021b25b1ce306704cc28a8b8cb0d (patch)
tree7d9af6a2b3badf316071effdb6d9c485d41a393c /libs
parent9f060f477f9d0f53468c9061034f05a77f998eef (diff)
issue ping after push was received
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions