diff options
| author | Maxime Dénès | 2017-04-06 15:51:29 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-04-06 15:51:29 +0200 |
| commit | 91b82f5a7b3cff65aeadd7c8323d63bf91b5f2e1 (patch) | |
| tree | a685f3f177efbc1ee66e39245d4b96376fd679e7 /dev | |
| parent | 9f188da28f65341f5c5ecd0b3b4f9b447bbc2b15 (diff) | |
| parent | e3dc35ad414ce3e554073f8761ec5ca37f367204 (diff) | |
Merge PR#542: [travis] Add webhook to Gitter.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions