diff options
| author | raveit65 <[email protected]> | 2016-07-08 17:00:15 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-07-20 11:27:26 +0200 |
| commit | 75da8ddeb8300b1ce3dedb6e7c2e67511a182ec1 (patch) | |
| tree | 14f9a36ad5a4979b3b585e7f4a5b4fe3f43c2c35 /src/terminal-tabs-menu.c | |
| parent | 210921b10489f6eb795608aaea38f9613d4f9469 (diff) | |
| download | mate-terminal-75da8ddeb8300b1ce3dedb6e7c2e67511a182ec1.tar.bz2 mate-terminal-75da8ddeb8300b1ce3dedb6e7c2e67511a182ec1.tar.xz | |
screen: fix a Wincompatible-pointer-types warning
probably introduced with vte291 port
compared with:
https://git.gnome.org/browse/gnome-terminal/commit/?h=gnome-3-14&id=7da07d5
Diffstat (limited to 'src/terminal-tabs-menu.c')
0 files changed, 0 insertions, 0 deletions