diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-11-25 11:47:39 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-11-25 11:47:39 +0100 |
commit | 813196784ad2a3a8cd65be5e975769d9768a728e (patch) | |
tree | bd3ee6d67c9cc4b0a3def2af4197853055012c9f /src/gui_gtk_x11.c | |
parent | a09bee322e605c8a076fa23c3d3259495a1129d2 (diff) |
patch 8.2.2042: build failure with +profile but without +reltimev8.2.2042
Problem: Build failure with +profile but without +reltime.
Solution: Adjust #ifdef. (Christian Brabandt, closes #7361)
Diffstat (limited to 'src/gui_gtk_x11.c')
0 files changed, 0 insertions, 0 deletions