diff options
| author | raveit65 <[email protected]> | 2019-10-06 20:11:03 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-10-06 20:11:48 +0200 |
| commit | e4f02c01d151ff90890d6a30c0660aa36b569cf7 (patch) | |
| tree | 1fa6eb5e5ce180edc20923dea35f6f4c8492a3e8 /src/terminal-options.h | |
| parent | b665e50d0814e0e549610209b01c2cbdce01e543 (diff) | |
| download | mate-terminal-e4f02c01d151ff90890d6a30c0660aa36b569cf7.tar.bz2 mate-terminal-e4f02c01d151ff90890d6a30c0660aa36b569cf7.tar.xz | |
travis(ci): enable notify_servers
Diffstat (limited to 'src/terminal-options.h')
0 files changed, 0 insertions, 0 deletions