diff options
| author | raveit65 <[email protected]> | 2022-01-30 22:17:11 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2022-01-30 22:17:11 +0100 |
| commit | 685042aef23656f877515dbd9b241a154e1679d0 (patch) | |
| tree | 6bcc66b9f7a703239b256c6d9a37a36aec4579dd /src/caja-file-management-properties.c | |
| parent | ed764f51e22708d0772c11cd751b034bff3dd9ea (diff) | |
| download | caja-685042aef23656f877515dbd9b241a154e1679d0.tar.bz2 caja-685042aef23656f877515dbd9b241a154e1679d0.tar.xz | |
CI: Drop -Wunused-parameter for debian build
Diffstat (limited to 'src/caja-file-management-properties.c')
0 files changed, 0 insertions, 0 deletions