diff options
| author | raveit65 <[email protected]> | 2016-07-15 19:43:46 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-07-15 19:43:46 +0200 |
| commit | c0b5d27ee1cb409ee8e8723009999f840f96a105 (patch) | |
| tree | 2e28fc0b8980da4aa85584497f1abf734e800fe5 /src/tools | |
| parent | ad3a761a026493f49561158559f04c26225f03f4 (diff) | |
| download | marco-c0b5d27ee1cb409ee8e8723009999f840f96a105.tar.bz2 marco-c0b5d27ee1cb409ee8e8723009999f840f96a105.tar.xz | |
distcheck: explicitly use currently selected GTK+ version
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions