diff options
| author | raveit65 <[email protected]> | 2016-07-15 18:05:00 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-07-15 18:05:00 +0200 |
| commit | b8f5fe87dfe7c61b86573e98059e822b105b6f75 (patch) | |
| tree | d4ce43cf44f7218fbba4497ec79c650fc2ca59d6 /open-terminal | |
| parent | eb1f2a9a9f74c58a10ce9122186b3d4738b5be18 (diff) | |
| download | caja-extensions-b8f5fe87dfe7c61b86573e98059e822b105b6f75.tar.bz2 caja-extensions-b8f5fe87dfe7c61b86573e98059e822b105b6f75.tar.xz | |
distcheck: explicitly use currently selected GTK+ version
Diffstat (limited to 'open-terminal')
0 files changed, 0 insertions, 0 deletions