diff options
| author | rbuj <[email protected]> | 2020-01-27 10:30:44 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2020-01-27 11:23:44 +0100 |
| commit | 46d762c7649cc9a2c8086e7295f74d8a5a0c7577 (patch) | |
| tree | c463defbed26a2b0cd1bb7adeed3317b53622ee5 /.github | |
| parent | e9aacafff8d99d4f464e6155bd6c76763b4a3bae (diff) | |
| download | caja-extensions-46d762c7649cc9a2c8086e7295f74d8a5a0c7577.tar.bz2 caja-extensions-46d762c7649cc9a2c8086e7295f74d8a5a0c7577.tar.xz | |
configure: get quieter output from make
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions