diff options
| author | raveit65 <[email protected]> | 2019-10-05 19:21:27 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-10-05 19:22:15 +0200 |
| commit | 7570fa816e25d358be1aa23e84f0033122f100d1 (patch) | |
| tree | 401c125fd558b83c2607c23f2a2a353f37983836 /src/include | |
| parent | 3e7556c3524cea3eb40d2063343ec8cde0550ab4 (diff) | |
| download | marco-7570fa816e25d358be1aa23e84f0033122f100d1.tar.bz2 marco-7570fa816e25d358be1aa23e84f0033122f100d1.tar.xz | |
travis(ci): enable notify_servers
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions
