diff options
| author | raveit65 <[email protected]> | 2019-10-06 20:41:35 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-10-06 20:42:40 +0200 |
| commit | 54ae1e2518ce13072de2e8174f29200465c51cfe (patch) | |
| tree | 372e563ff4256c86569ecf03b8f144fb2c97e04c /.github | |
| parent | 982e7b1088e0204967e61b1180a29cb265e21e5f (diff) | |
| download | pluma-54ae1e2518ce13072de2e8174f29200465c51cfe.tar.bz2 pluma-54ae1e2518ce13072de2e8174f29200465c51cfe.tar.xz | |
travis(ci): enable notify_servers
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions